genericCoproduct
MkArbitrary
MkCogen
MkShrink
Singletons
genericProduct
MkArbitrary
MkCogen
MkShrink
Singletons