speculate-0.4.1: discovery of properties about Haskell functions