úÎ! … w     Safe_ÐSafe 149=>?@AUV_ 7  MonadComposeyA modified free monad giving efficient access to the topmost layer; but otherwise using the machinery of the free monad f2. MonadCompose9A projection into the underlying free monad construction. MonadComposeÐGiven a free construction construct a representation of the monad coproduct in a free mona; it picks out one representative element of each equivalence class in the defining quotient of the monad coproduct. !"#$  Safe =>?@AUV c MonadComposeHAn automatic lifter. The idea of automatic lifting is due to Dan Piponi.%      !"#!"$!"%&'(&')&'*&'+,+MonadCompose-0.9.0.0-IzM5HyIfkpVARK12wfpI0MControl.Monad.EtaInverseControl.Monad.Coproducts3Control.Monad.Lifter EtaInverseetaInv$fEtaInverseFreeT$fEtaInverseFree$fEtaInverseMaybeT$fEtaInverse[]$fEtaInverseMaybe$fEtaInverseWriterT$fEtaInverse(,)$fEtaInverseIdentityFree'Pure'unFree'toF2 execCoproduct$fMonadFreefFree'$fApplicativeFree' $fMonadFree'$fFunctorFree' $fShowFree' $fShow1Free'Lifterlf $fLiftermm $fLiftermn$fLifterIdentityIdentity $fLifterSTST $fLifterIOIO $fLifterSTIObaseData.Functor.SumSumInLInRfree-5.1-ug8ru2JNNpIKH0LukwiogControl.Monad.Free.ClasswrapTliftF MonadFreewrap