Re: RFC: Singleton equality witnesses
Gábor Lehel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <CAPNUp08fKFXbVYhfEn=F5Mx8d3aLu+hWz1sXxqujCH6sMtgT+w@mail.gmail.com> |
On Sat, Dec 1, 2012 at 5:31 PM, Richard Eisenberg <[email protected]> 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.