Description
Provides advanced functional programming abstractions including Kan extensions, Kan lifts, the Yoneda lemma, and density or codensity monads. These tools help express and optimize certain higher-level transformations in Haskell.
This is intended for experienced Haskell developers and library authors. Most users will encounter it only as a dependency of more specialized functional libraries.