CoproductInstances

derive

CoproductSingletons

derive

ccons

CoproductSingletons MkCoproductArbitrary MkCoproductCogen MkCoproductShrink

cnil

CoproductSingletons MkCoproductArbitrary MkCoproductCogen MkCoproductShrink

cogen

MkCogen MkCoproductCogen MkHListCogen

cogenFieldType

FieldTypeInstances

cogenSingletonType

SingletonInstances

coproduct

Singletons

coproductArbitrary

CoproductInstances

coproductCogen

CoproductInstances

coproductShrink

CoproductInstances