speculate-0.2.6: discovery of properties about Haskell functions