On Sat, Dec 1, 2012 at 5:31 PM, Richard Eisenberg <e...@cis.upenn.edu> wrote: > Which leads me to ask: Why can't we special-case TypeRep to be promoted to > *, allowing the construction I wrote above? It seems both kludgy and elegant > at the same time, somehow. I would love to hear others' thoughts on this. > > Thanks, > Richard
Hmm, isn't TypeRep also used to represent types of other kinds, though, not just *? -- Your ship was destroyed in a monadic eruption. _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
