/p/haskell-adjunctions/