speculate-0.4.6: discovery of properties about Haskell functions