== +quickcheck

(==>) :: Testable prop => Bool -> prop -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Implication for properties: The resulting property holds if the first argument is False, or if the given property holds.