genericCoproduct

MkArbitrary