úÎ Â Ù 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 natural transformation from m to n into a natural transformation from PermT' c m to PermT' c 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.0Control.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