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