liftToComposedAdjoint/composedAdjointToLift