speculate-0.2.3: discovery of properties about Haskell functions