Control.Monad.Parameterized
class Bifunctor p r s t
class PPointed f
class PApplicative f
class PMonad f