ScalaCheck post