[Haskell-cafe] Template Haskell reified type.

[Serguey Zefirov]

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. ;)