Control.Monad.Parameterized
class
Bifunctor
p r s t
class
PPointed
f
class
PApplicative
f
class
PMonad
f
(>>*=)
(=*<<)
(>>*)
papPMonad