pair

Monoid

product

Monoid

pure

Applicative