speculate-0.3.3: discovery of properties about Haskell functions