ghc-adjunctions