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