/dev-haskell/smallcheck/