Have you seen/considered the work on staged programming? Something like [0], while thorny, seems like a reasonable stab at it. [0]: https://okmij.org/ftp/tagle

Have you seen/considered the work on staged programming? Something like [0], while thorny, seems like a reasonable stab at it. [0]: https://okmij.org/ftp/tagless-final/TaglessStaged/beyond-talk.pdf https://okmij.org/ftp/tagless-final/TaglessStaged/beyond-tal...