speculate-0.2.8: discovery of properties about Haskell functions