On 3 April 2013 18:08, Richard Eisenberg <eir@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@haskell.org
http://www.haskell.org/mailman/listinfo/libraries