Control.Applicative.Parameterized
class PApplicative f
class PPointed f