diff --git a/genvalidity-path.cabal b/genvalidity-path.cabal
--- a/genvalidity-path.cabal
+++ b/genvalidity-path.cabal
@@ -1,5 +1,5 @@
 name: genvalidity-path
-version: 0.1.0.2
+version: 0.2.0.0
 cabal-version: >=1.10
 build-type: Simple
 license: MIT
@@ -21,9 +21,9 @@
     exposed-modules:
         Data.GenValidity.Path
     build-depends:
-        base >= 4.7 && <5,
-        validity-path >=0.1 && <0.2,
-        genvalidity >=0.3 && <0.4,
+        base >=4.7 && <5,
+        validity-path >=0.2 && <0.3,
+        genvalidity >=0.4 && <0.5,
         path >=0.5 && <0.6
     default-language: Haskell2010
     hs-source-dirs: src
diff --git a/src/Data/GenValidity/Path.hs b/src/Data/GenValidity/Path.hs
--- a/src/Data/GenValidity/Path.hs
+++ b/src/Data/GenValidity/Path.hs
@@ -14,6 +14,7 @@
 
 instance GenUnchecked (Path a f) where
     genUnchecked = Path <$> genUnchecked
+    shrinkUnchecked (Path s) = Path <$> shrinkUnchecked s
 
 instance GenValid (Path Abs File)