speculate-0.2.0: discovery of properties about Haskell functions