==

(==) :: Eq a => a -> a -> Bool
base Prelude, base Data.Eq
(==>) :: 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.