Better ScalaCheck examples