skeleton of ScalaCheck