Haskell使用蕴含（==>）检查带有前提条件的属性
示例
prop_evenNumberPlusOneIsOdd :: Integer -> Property prop_evenNumberPlusOneIsOdd x = even x ==> odd (x + 1)
如果要检查是否有一个先决条件成立，则可以使用==>运算符。请注意，如果任意输入很难满足前提条件，则QuickCheck可以尽早放弃。
prop_overlySpecific x y = x == 0 ==> x * y == 0 ghci> quickCheck prop_overlySpecific *** Gave up! Passed only 31 tests.