speculate-0.3.5: discovery of properties about Haskell functions