add scalacheck example