instance
CoproductSingletons
HListSingletons
MkArbitrary
MkCogen
MkCoproductArbitrary
MkCoproductCogen
MkCoproductShrink
MkHListArbitrary
MkHListCogen
MkHListShrink
MkShrink
Singletons