Control.Applicative.Constrained
class Monoidal f r t
class Applicative f r t
constrainedFZipWith
constPure
fzip
(<**>)
liftA
liftA2
liftA3