speculate-0.3.2: discovery of properties about Haskell functions