kan-extensions-5.0.2: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

kan-extensions-5.0.2: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Modules

Control
- Comonad
  - Control.Comonad.Density
- Monad
  - Control.Monad.Co
  - Control.Monad.Codensity
Data
- Functor