/dev-haskell/hspec-smallcheck/