Proxy, new Typeable, and type-level equality

[Gábor Lehel]

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/libraries/attachments/20130403/109e3642/attachment.htm>