[Haskell-cafe] Template Haskell reified type.

Serguey Zefirov sergueyz at gmail.com
Mon May 9 15:42:48 CEST 2011

Language.Haskell.TH.Type contains, among others, two constructors:
TupleT Int and ListT.

I can safely construct types using them, but reification returns ConT
"GHC.Tuple.(,)" and ConT "GHC.Types.[]" respectively.

This is not fair asymmetry, I think.

Also, it took purity from one of my functions while I debugged that
problem. I had to make it into Q monad. ;)

More information about the Haskell-Cafe mailing list