Use ScalaCheck.