Description
Provides a standard type-constructor class hierarchy using methods with rank-2 types. Rank-2 methods support advanced abstractions where functions must work uniformly for many types.
It is useful for experienced Haskell developers building generic libraries, optics, effects, or higher-rank abstractions. It is a developer library and has no standalone interface.