úÎ c z non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-InferredThe permutation monad The permutation applicative  Unwrap a , combining actions using the  for f.  Unwrap a , combining actions using the  for f.  A version of  without the  m constraint Lift a monad homomorphism from m to n into a monad homomorphism from  m to  n. "   !"#$     !"#$ non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred%    !"#$%&'()*+,-./ perm-0.2.0.1Control.Monad.PermControl.Applicative.PermControl.Monad.Perm.InternalMonadPermTPermrunPermrunPermTliftPerm hoistPermbaseControl.Applicative Alternative Control.Monad MonadPlustransformers-0.3.0.0Control.Monad.Trans.ClassliftBranchBindApChoiceapP.@apBflipA2bindP localBranchliftThenthenPthenBliftZeroplus liftBranch hoistBranch$fMonadThrowePermT$fMonadStatesPermT$fMonadReaderrPermT$fMonadIOPermT$fMonadTransPermT$fMonadPlusPermT $fMonadPermT$fAlternativePermT$fApplicativePermT$fFunctorBranch$fFunctorPermT