Test.Validity.Property.Utils
forAllUnchecked
forAllValid
forAllInvalid
(<==>)
(===>)