adjunctions and representable functors for Haskell

 In mathematics, adjoint functors are pairs of functors which stand in a
 particular relationship with one another, called an adjunction. This
 package provides adjunctions for Haskell.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.