Portability | rank2 types, type operators, type families (optional) |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Leibnizian equality. Injectivity in the presence of type families is provided by a generalization of a trick by Oleg Kiselyv posted here:
http://www.haskell.org/pipermail/haskell-cafe/2010-May/077177.html