speculate-0.3.5: discovery of properties about Haskell functions

Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell functions and it will discover laws like:

• equations, such as id x == x ;
• inequalities, such as 0 <= x * x ;
• conditional equations, such as x <= 0 ==> x + abs x == 0 .