applicativeId and applicativeComp
Monoid and its Applicative instance.
Applicative for pointwise product of applicatives.