| Currently quote forms have type "Q Exp" and nested splices expect | their contents to have type "Q Exp". I propose that quote forms have | type "forall m. Quasi m => m Exp" and nested splices expect a body of | type "m Exp" where the "m" of the nested splice is the same as the "m" | of the quote form that it is inside of. Happily they already have that type. Have a look in Language.Haskell.TH.Syntax: newtype Q a = Q { unQ :: forall m. Quasi m => m a } You want a function from "Q Exp" to "forall m. Quasi m => m Exp". It would have type Q Exp -> forall m. Quasi m => m Exp or, isomorphically forall m. Quasi m => Q Exp -> m Exp And indeed there is such a function: it's called runQ. So I think what you want is already available. Happy new year Simon