Monoid coproducts
Nicer formatting