Description
A Haskell library for adjunctions, representable functors, and related functional programming abstractions. It provides reusable building blocks for advanced type-level and category-theory-inspired code.
Developers need it when compiling Haskell libraries that depend on these abstractions or when writing highly generic functional code. It is not an end-user application.