Can you give a concrete example? There is code in GHC that is supposed to produce TupleT and ListT! Simon | -----Original Message----- | From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@haskell.org] On | Behalf Of Serguey Zefirov | Sent: 09 May 2011 14:43 | To: haskell | Subject: [Haskell-cafe] Template Haskell reified type. | | 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. ;) | | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe