Control.Monad.Trans.Contravariant.Adjoint
type
Adjoint
f g
runAdjoint
adjoint
data
AdjointT
f g w a