deriveArbitrary

scalacheck

deriveShrink

scalacheck