In Test.QuickCheck, the type of 'generate' is generate :: Int -> StdGen -> Gen a -> a I can't find docs that explain what the Int does. Some docs are here: <http://www.haskell.org/ghc/docs/latest/html/libraries/QuickCheck/Test-QuickCheck.html>