speculate-0.3.4: discovery of properties about Haskell functions