speculate-0.3.0: discovery of properties about Haskell functions