Description
Provides higher-order versions of common Prelude classes. These abstractions let code lift familiar class behavior to type constructors and more generic structures.
It is useful for advanced libraries, generic programming, transformer stacks, and functional abstractions that need Prelude-like behavior at a higher level. It is a developer library and has no standalone interface.