Parameterized.Control.Applicative

type family PUnary (m :: k -> Type -> Type) (t :: k) = (r :: Type -> Type) | r -> m t

class PPointed m id

class PApplicative m t u v

(&<*>)

(&*>)

(&<*)

pliftA

pliftA2

pliftA3

class PEmpty m id

class PAlternative m t u v

(&<|>)