Monoid coproducts
Nicer formatting
monoidCoproductEqual
monoidCoproductArbitrary
MonoidCoproductTest