speculate-0.2.4: discovery of properties about Haskell functions