úÎT › non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-InferredThe permutation applicative  Unwrap a , combining actions using the  for f.  Unwrap a , combining actions using the   for f.  A version of   that can be used without a   for m. Lift a monad homomorphism from m to n into a monad homomorphism from  m to  n. /  !"#$%&'()*+,-./01234(  !"#$%&'()*+,-./01234 non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred Unwrap a , combining actions using the   for f.  non-portable experimental%Andy Sonnenburg <andy22286@gmail.com> Safe-Inferred Unwrap a , combining actions using the  for f. 5     !"#$%&'()*+,-./0123456789:;< perm-0.4.0.0Control.Monad.PermControl.Applicative.PermControl.Monad.Perm.InternalPermliftPermliftPlus hoistPermrunPermsum1baseControl.Applicative Alternativesum1M Control.Monad MonadPlustransformers-0.3.0.0Control.Monad.Trans.ClassliftGHC.BaseMonadApDictPlusDict getPlusDictLiftFixBindApPlus fromPlusDict alternative monadPlusunit applicativemonadapLapRzipALzipARbindLbindRliftM'zipM'zipMLzipMR<>zipAmapFst$fMonadThrowePerm$fMonadStatesPerm$fMonadReaderrPerm $fMonadIOPerm$fMonadTransPerm$fMonadFixPerm$fMonadPlusPerm $fMonadPerm$fAlternativePerm$fApplicativePerm $fFunctorPerm $fMonoidPerm