Proxy, new Typeable, and type-level equality

Gábor Lehel illissius at gmail.com
Wed Apr 3 20:42:03 CEST 2013


On Wed, Apr 3, 2013 at 6:08 PM, Richard Eisenberg <eir at cis.upenn.edu> wrote:

>
> Comments? Thoughts?
>
> Thanks,
>  Richard



Perhaps you could steal some ideas from my type-eq library:
http://hackage.haskell.org/package/type-eq

-- 
Your ship was destroyed in a monadic eruption.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130403/109e3642/attachment.htm>


More information about the ghc-devs mailing list