Heterogeneous equality into base?

Ryan Scott ryan.gl.scott at gmail.com
Mon Jul 10 15:24:58 UTC 2017

I also agree that we should keep HRefl a distinct name, and moreover, we
should keep :~: and :~~: as distinct datatypes.

I'm also on-board with the idea that we should introduce a separate
Data.Type.Equality.Hetero module that reexports :~~: and defines
heterogeneous counterparts for sym, trans, etc. from Data.Type.Equality. I
don't have a strong opinion on how they should be named (e.g., sym vs.

Ryan S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170710/b1daaf0c/attachment.html>

More information about the Libraries mailing list