úÎ Í 6NoneNA value of arbitrary type, used to specify which type to generate a spec for.A combination of  arbitrarySpec and  validitySpecExample usage: genspec (proxy :: MyData)A Spec that specifies that  arbitrary# only generates data that satisfy isValid and that shrink" only produces data that satisfy isValid.Example usage: arbitrarySpec (proxy :: MyData)A Spec that specifies that genValid% only generates valid data and that  genInvalid only generates invalid data.jIn general it is a good idea to add this spec to your test suite if you write a custom implementation of genValid or  genInvalid.Example usage: validitySpec (proxy :: MyData)       0genvalidity-hspec-0.1.0.0-BROO3qjb46dDhSlIHaRZqUData.GenValidity.Hspecproxygenspec arbitrarySpec validitySpec'validity-0.1.0.0-CaJf8KKVjlnEeuwwWCtaFo Data.ValidityValidityisValid*genvalidity-0.1.0.0-5j5Npj2AkRl8TjU7nQFzvKData.GenValidity genListOf GenValidity genUncheckedgenValid genInvalid