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