haskell-adjunctions