speculate-0.2.5: discovery of properties about Haskell functions