-- |Call QuickCheck with 5000 tests instead.
quickCheck5000 :: Testable prop => prop -> IO ()
quickCheck5000 = quickCheckWith stdArgs { maxSuccess = 5000 }
quickCheck5000 :: Testable prop => prop -> IO ()
quickCheck5000 = quickCheckWith stdArgs { maxSuccess = 5000 }
quickCheck5000 = quickCheckWith stdArgs { maxSuccess = 5000 }