Hi, I'm glad to announce SmallCheck support [1] for the Hspec testing framework. A tiny example on how to use it is here: https://github.com/hspec/hspec-smallcheck/blob/master/example/Spec.hs More documentation for Hspec is here: http://hspec.github.io/ Cheers, Simon [1] http://hackage.haskell.org/package/hspec-smallcheck