úÎÓ/   MPTCs, fundeps provisionalEdward Kmett <ekmett@gmail.com> iExploiting this instance requires that we have the missing Traversables for Identity, (,)e and IdentityT         adjunctions-0.1Data.Functor.AdjunctionControl.Monad.Trans.Adjoint Adjunctionunitcounit leftAdjunct rightAdjunctAdjointT runAdjointTAdjointadjoint runAdjoint$fMonadTransAdjointT