speculate-0.3.1: discovery of properties about Haskell functions