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

+1 for adding Category. There was also a proposal to rename (:~:) to (==) that I would be 100% behind. On Wed, Apr 3, 2013 at 1:05 PM, Bas van Dijk wrote:

On 3 April 2013 18:08, Richard Eisenberg wrote:

...

What other instances should there be for (:~:)?

Maybe:

instance Category (:~:) where id = Refl Refl . Refl = Refl

Bas

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries