Add Pair is Monoid
Add Covariant is Monoid