speculate-0.2.1: discovery of properties about Haskell functions