Re: Proxy, new Typeable, and type-level equality

On Wed, Apr 3, 2013 at 6:08 PM, Richard Eisenberg 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.