monoidCoproductEqual
monoidCoproductArbitrary
MonoidCoproductTest