speculate-0.4.0: discovery of properties about Haskell functions