Proxy, new Typeable, and type-level equality

[Edward Kmett]

+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 <v.dijk.bas at gmail.com> wrote:

> On 3 April 2013 18:08, Richard Eisenberg <eir at cis.upenn.edu> wrote:
> > What other instances should there be for (:~:)?
>
> Maybe:
>
> instance Category (:~:) where
>     id = Refl
>     Refl . Refl = Refl
>
> Bas
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130403/e974f6e9/attachment.htm>