rapid_check_2_prop_distributive.hs

prop_distributive :: Integer -> Integer -> (Integer -> Integer) -> Bool
prop_distributive a b f = f (a + b) == f a + f b

rapidCheck prop_distributive
> Failure {seed = 7720540227186278723,
           counterExample = ["1716301762","55093645","<function>"]}