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