CogenInstances
instances
cats
scalacheck
cogenContravariantSemigroupal
CogenInstances
cogenMonoidK
CogenInstances