diff --git a/genvalidity.cabal b/genvalidity.cabal
--- a/genvalidity.cabal
+++ b/genvalidity.cabal
@@ -1,11 +1,13 @@
--- This file has been generated from package.yaml by hpack version 0.28.2.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.31.1.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 9b00e65ce180dc767c7ee1031353879db6eb806eb0874294da45b3e3c9e9fcbc
+-- hash: 8f51510165244a5a76d1cf8b471902a4439454662316b1a9197d65391a0125c2
 
 name:           genvalidity
-version:        0.7.0.0
+version:        0.7.0.1
 synopsis:       Testing utilities for the validity library
 description:    Note: There are companion instance packages for this library:
                 .
@@ -38,7 +40,6 @@
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
 
 source-repository head
   type: git
diff --git a/test/Data/InstanceSpec.hs b/test/Data/InstanceSpec.hs
--- a/test/Data/InstanceSpec.hs
+++ b/test/Data/InstanceSpec.hs
@@ -50,7 +50,8 @@
     twoTupleTests (Proxy :: Proxy Double)
     threeTests (Proxy :: Proxy Rational)
     threeTupleTests (Proxy :: Proxy Rational)
-    modifyMaxSize (`quot` 2) $
+    modifyMaxSuccess (`quot` 2) $
+        modifyMaxSize (`quot` 2) $
         threeTests (Proxy :: Proxy (Either Rational Rational))
     threeTests (Proxy :: Proxy (Maybe Rational))
     threeTests (Proxy :: Proxy (Maybe (Maybe Rational)))
@@ -91,11 +92,15 @@
     => Proxy a
     -> Spec
 twoTupleTests proxy = do
-    modifyMaxSize (`quot` 2) $ twoTests $ (,) <$> proxy <*> proxy
-    modifyMaxSize (`quot` 3) $ twoTests $ (,,) <$> proxy <*> proxy <*> proxy
-    modifyMaxSize (`quot` 4) $
+    modifyMaxSuccess (`quot` 2) $
+        modifyMaxSize (`quot` 2) $ twoTests $ (,) <$> proxy <*> proxy
+    modifyMaxSuccess (`quot` 3) $
+        modifyMaxSize (`quot` 3) $ twoTests $ (,,) <$> proxy <*> proxy <*> proxy
+    modifyMaxSuccess (`quot` 4) $
+        modifyMaxSize (`quot` 4) $
         twoTests $ (,,,) <$> proxy <*> proxy <*> proxy <*> proxy
-    modifyMaxSize (`quot` 5) $
+    modifyMaxSuccess (`quot` 5) $
+        modifyMaxSize (`quot` 5) $
         twoTests $ (,,,,) <$> proxy <*> proxy <*> proxy <*> proxy <*> proxy
 
 threeTupleTests ::
@@ -103,11 +108,16 @@
     => Proxy a
     -> Spec
 threeTupleTests proxy = do
-    modifyMaxSize (`quot` 2) $ threeTests $ (,) <$> proxy <*> proxy
-    modifyMaxSize (`quot` 3) $ threeTests $ (,,) <$> proxy <*> proxy <*> proxy
-    modifyMaxSize (`quot` 4) $
+    modifyMaxSuccess (`quot` 2) $
+        modifyMaxSize (`quot` 2) $ threeTests $ (,) <$> proxy <*> proxy
+    modifyMaxSuccess (`quot` 3) $
+        modifyMaxSize (`quot` 3) $
+        threeTests $ (,,) <$> proxy <*> proxy <*> proxy
+    modifyMaxSuccess (`quot` 4) $
+        modifyMaxSize (`quot` 4) $
         threeTests $ (,,,) <$> proxy <*> proxy <*> proxy <*> proxy
-    modifyMaxSize (`quot` 5) $
+    modifyMaxSuccess (`quot` 5) $
+        modifyMaxSize (`quot` 5) $
         threeTests $ (,,,,) <$> proxy <*> proxy <*> proxy <*> proxy <*> proxy
 
 twoTests ::