Just a thought, but once you have a data structure representing reified code there is a couple of things it would be nice to be able to do: 1) use the Parser to read a source file (i'm assuming the parser produces the same data stuctures as template haskell) 2) run the reified code directly (using ghci?) It looks from inspection that there is a Syntax.hs and a THSyntax.hs ... Is it possible to unify the data-types from these? Can you use cmRunStmt to run a template instead of splicing it? Regards, Keean Schupke.