This package provides adjunctions for Haskell.