don't like mixing our own approach with the scalacheck. Why not just use scalacheck all the way through?