coproductShrink

CoproductInstances

genericCoproduct

MkArbitrary MkShrink

hconsFound

HListSingletons

MkCoproductShrink

derive

Shapeless

scalacheck