speculate-0.4.2: discovery of properties about Haskell functions