Kan extensions, Kan lifts, etc.; documentation

 Kan extensions, Kan lifts, various forms of the Yoneda lemma, and
 (co)density (co)monads.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.