[Haskell-cafe] Typed TH

http://lpaste.net/116791 If someone feels like spending time exploring this and putting it in a library I will be interested in trying it. I saw some old work to patch GHC to do this including typed quotation of expressions, which doesn't seem to have arrived. Relatedly I made a trivial Lisp with untyped and typed quotation https://gist.github.com/chrisdone/516489f4f27846712225 It doesn't seem to be a much-explored area in the Lisp world, Haskell is treading new waters in some ways.