úέ v non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred/The permutation action, available as either an  or a &, determined by the combinators used. The 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  c m to  c n. &  !"#$%&'()*!   !"#$%&'()* non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred+       !"#$%&'()*+,-./0123 perm-0.1.0.0Control.Monad.PermControl.Applicative.PermControl.Monad.Perm.InternalPermT'PermTPermrunPermrunPermTliftPerm hoistPermbaseControl.Applicative ApplicativeGHC.BaseMonad Alternative Control.Monad MonadPlustransformers-0.3.0.0Control.Monad.Trans.Classlift ConstraintBranchBindApChoiceapP.@apBflipA2bindP localBranchliftThenthenPthenBliftZeroplus liftBranch hoistBranch$fMonadThrowePermT'$fMonadStatesPermT'$fMonadReaderrPermT'$fMonadIOPermT'$fMonadTransPermT'$fMonadPlusPermT' $fMonadPermT'$fAlternativePermT'$fApplicativePermT'$fFunctorBranch$fFunctorPermT'