apply
CoproductSingletons HListSingletons MkCogen MkCoproductCogen MkCoproductGen MkCoproductShrink MkGen MkHListCogen MkHListGen MkHListShrink MkRecursiveCoproductGen MkShrink Recursive Singletons