scalacheck (wip)