== -base

(==>) :: 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 (in which case the test case is discarded), or if the given property holds.