I am starting up a proposal for variants of Template Haskell that restrict what operations are available. The goal is to make TH easier for users to reason about and to allow for an easier compilation story.

Here is the proposal page:

Right now the proposal does not have any details and the goal is to write out a clear specification.

If this sounds interesting to you, let me know or leave some feedback on the wiki.

Thanks,

Greg Weber