speculate-0.4.4: discovery of properties about Haskell functions