dev-haskell/
kan-extensions

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

https://github.com/ekmett/kan-extensions/