[Haskell-cafe] Template Haskell reified type.
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