diff --git a/genvalidity-vector.cabal b/genvalidity-vector.cabal
--- a/genvalidity-vector.cabal
+++ b/genvalidity-vector.cabal
@@ -1,5 +1,5 @@
 name: genvalidity-vector
-version: 0.0.0.0
+version: 0.1.0.0
 cabal-version: >=1.10
 build-type: Simple
 license: MIT
@@ -23,9 +23,9 @@
     build-depends:
         base <5,
         QuickCheck -any,
-        genvalidity >=0.3 && <0.4,
-        validity >=0.3 && <0.4,
-        validity-vector >= 0.0 && < 0.1,
+        genvalidity >=0.4 && <0.5,
+        validity >=0.4 && <0.5,
+        validity-vector >=0.1 && <0.2,
         vector -any
     default-language: Haskell2010
     hs-source-dirs: src
diff --git a/src/Data/GenValidity/Vector.hs b/src/Data/GenValidity/Vector.hs
--- a/src/Data/GenValidity/Vector.hs
+++ b/src/Data/GenValidity/Vector.hs
@@ -13,9 +13,10 @@
 
 instance GenUnchecked v => GenUnchecked (Vector v) where
     genUnchecked = V.fromList <$> genUnchecked
+    shrinkUnchecked = fmap V.fromList . shrinkUnchecked . V.toList
 
-instance  GenValid v => GenValid (Vector v) where
+instance GenValid v => GenValid (Vector v) where
     genValid = V.fromList <$> genValid
 
-instance  GenInvalid v => GenInvalid (Vector v) where
+instance GenInvalid v => GenInvalid (Vector v) where
     genInvalid = V.fromList <$> genInvalid