CoproductInstances

derive

CoproductSingletons

derive

ccons

CoproductSingletons MkCoproductCogen MkCoproductGen MkCoproductShrink MkRecursiveCoproductGen

cnil

CoproductSingletons MkCoproductCogen MkCoproductGen MkCoproductShrink MkRecursiveCoproductGen

cogen

MkCogen MkCoproductCogen MkHListCogen

cogenFieldType

FieldTypeInstances

cogenSingletonType

SingletonInstances

coproduct

Singletons

coproductCogen

CoproductInstances

coproductGen

CoproductInstances

coproductShrink

CoproductInstances