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-tal...