Control.Monad.Trans.Adjoint

type Adjoint f g

runAdjoint

adjoint

data AdjointT f g m a