instances
scalacheck