Hello, I am happy to announce Speculate. A library to automatically discover properties about Haskell functions. https://hackage.haskell.org/package/speculate Quick example -- discovering properties about addition and multiplication: $ cabal update $ cabal install speculate $ ghci > import Test.Speculate > speculate args{constants = [constant "+" (+), constant "*" (*)]} _ :: Integer (+) :: Integer -> Integer -> Integer (*) :: Integer -> Integer -> Integer x + y == y + x x * y == y * x (x + y) + z == x + (y + z) (x * y) * z == x * (y * z) (x + x) * y == x * (y + y) x <= x * x Speculate is similar to QuickSpec, but uses a different algorithm to produce inequalities and coditional equations -- see README for details. Speculate is available on both Stackage (nightly) and Hackage. -- Rudy