genericCoproduct

MkArbitrary

Shapeless

scalacheck