/dev-haskell/tasty-smallcheck/