Proxy, new Typeable, and type-level equality

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

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

> Comments? Thoughts?
> Thanks,
>  Richard

Perhaps you could steal some ideas from my type-eq library:

Your ship was destroyed in a monadic eruption.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list