speculate-0.2.2: discovery of properties about Haskell functions