generalised the AsResult instance for ScalaCheck properties