diff --git a/genvalidity-hspec.cabal b/genvalidity-hspec.cabal
--- a/genvalidity-hspec.cabal
+++ b/genvalidity-hspec.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 206c65d35007a70eebf9849fc7608a979a491115cc4f679fa8ed710047c491c3
+-- hash: 926ad060108a21f0c185f483af0bfa8e11ed0401a0e74990ecc64ee15ee1ef93
 
 name:           genvalidity-hspec
-version:        0.6.0.0
+version:        0.6.0.1
 synopsis:       Standard spec's for GenValidity instances
 description:    Note: There are companion packages for this library:
                 .
diff --git a/src/Test/Validity/GenValidity.hs b/src/Test/Validity/GenValidity.hs
--- a/src/Test/Validity/GenValidity.hs
+++ b/src/Test/Validity/GenValidity.hs
@@ -55,7 +55,7 @@
         describe ("GenValid " ++ name) $
             describe ("genValid   :: Gen " ++ name) $
             it ("only generates valid \'" ++ name ++ "\'s") $
-            genValidGeneratesValid @a
+            forAllShrink genValid shrinkValid $ shouldBeValid @a
 
 -- | A @Spec@ that specifies that @genInvalid@ only generates invalid data.
 --
@@ -71,7 +71,7 @@
         describe ("GenInvalid " ++ name) $
             describe ("genInvalid :: Gen " ++ name) $
             it ("only generates invalid \'" ++ name ++ "\'s") $
-            genInvalidGeneratesInvalid @a
+            forAllShrink genInvalid shrinkInvalid $ shouldBeInvalid @a
 
 -- | @genValid@ only generates valid data
 --