Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Type-level equality. This module is currently provided by the multirec library, even though it is more general and does not really belong here.
Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Type-level equality. This module is currently provided by the multirec library, even though it is more general and does not really belong here.