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