diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2016 Tom Sydney Kerckhove
+Copyright (c) 2016-2020 Tom Sydney Kerckhove
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/bench/Main.hs b/bench/Main.hs
--- a/bench/Main.hs
+++ b/bench/Main.hs
@@ -3,38 +3,17 @@
 module Main where
 
 import Criterion.Main
-import Test.QuickCheck
 
 import Path
 
-import Data.GenValidity
+import Data.GenValidity.Criterion
 import Data.GenValidity.Path ()
 
 main :: IO ()
 main =
-    defaultMain
-        [ bench "genValid Path Abs File" . nfIO $
-          generate (genValid @(Path Abs File))
-        , bench "genValid Path Rel File" . nfIO $
-          generate (genValid @(Path Rel File))
-        , bench "genValid Path Abs Dir" . nfIO $
-          generate (genValid @(Path Abs Dir))
-        , bench "genValid Path Rel Dir" . nfIO $
-          generate (genValid @(Path Rel Dir))
-        , bench "genUnchecked Path Abs File" . nfIO $
-          generate (genUnchecked @(Path Abs File))
-        , bench "genUnchecked Path Rel File" . nfIO $
-          generate (genUnchecked @(Path Rel File))
-        , bench "genUnchecked Path Abs Dir" . nfIO $
-          generate (genUnchecked @(Path Abs Dir))
-        , bench "genUnchecked Path Rel Dir" . nfIO $
-          generate (genUnchecked @(Path Rel Dir))
-        , bench "genInvalid Path Abs File" . nfIO $
-          generate (genInvalid @(Path Abs File))
-        , bench "genInvalid Path Rel File" . nfIO $
-          generate (genInvalid @(Path Rel File))
-        , bench "genInvalid Path Abs Dir" . nfIO $
-          generate (genInvalid @(Path Abs Dir))
-        , bench "genInvalid Path Rel Dir" . nfIO $
-          generate (genInvalid @(Path Rel Dir))
-        ]
+  defaultMain
+    [ genValidBench @(Path Abs File)
+    , genValidBench @(Path Rel File)
+    , genValidBench @(Path Abs Dir)
+    , genValidBench @(Path Rel Dir)
+    ]
diff --git a/genvalidity-path.cabal b/genvalidity-path.cabal
--- a/genvalidity-path.cabal
+++ b/genvalidity-path.cabal
@@ -1,74 +1,74 @@
--- 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.2.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: d44853bdafa3a17cfd74c5a64b58b8009b6ef067f0146611fa0aea3d72d6c4a5
+-- hash: c097bb79110fd38df7a52b2ea6bfdb7853507a70a368c684d2ad6f5b224f3c9f
 
 name:           genvalidity-path
-version:        0.3.0.2
+version:        0.3.0.3
 synopsis:       GenValidity support for Path
-description:    Please see README.md
 category:       Testing
 homepage:       https://github.com/NorfairKing/validity#readme
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
-maintainer:     syd.kerckhove@gmail.com,
-                nick.van.den.broeck666@gmail.com
-copyright:      Copyright: (c) 2016-2018 Tom Sydney Kerckhove
+maintainer:     syd@cs-syd.eu
+copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
 
 source-repository head
   type: git
   location: https://github.com/NorfairKing/validity
 
 library
+  exposed-modules:
+      Data.GenValidity.Path
+  other-modules:
+      Paths_genvalidity_path
   hs-source-dirs:
       src
   build-depends:
       QuickCheck
     , base >=4.7 && <5
     , genvalidity >=0.5
-    , path >=0.5 && <0.7
+    , path >=0.5
     , validity-path >=0.3
-  exposed-modules:
-      Data.GenValidity.Path
-  other-modules:
-      Paths_genvalidity_path
   default-language: Haskell2010
 
 test-suite genvalidity-path-test
   type: exitcode-stdio-1.0
   main-is: Spec.hs
+  other-modules:
+      Data.GenValidity.PathSpec
+      Paths_genvalidity_path
   hs-source-dirs:
       test
-  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -fno-warn-name-shadowing
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
   build-depends:
-      base
+      base >=4.7 && <5
     , genvalidity-hspec
     , genvalidity-path
     , hspec
-    , path
-  other-modules:
-      Data.GenValidity.PathSpec
-      Paths_genvalidity_path
+    , path >=0.5
   default-language: Haskell2010
 
 benchmark genvalidity-path-bench
   type: exitcode-stdio-1.0
   main-is: Main.hs
+  other-modules:
+      Paths_genvalidity_path
   hs-source-dirs:
       bench
-  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -fno-warn-name-shadowing
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
   build-depends:
       QuickCheck
-    , base
+    , base >=4.7 && <5
     , criterion
     , genvalidity
+    , genvalidity-criterion
     , genvalidity-path
-    , path
-  other-modules:
-      Paths_genvalidity_path
+    , path >=0.5
   default-language: Haskell2010
diff --git a/test/Data/GenValidity/PathSpec.hs b/test/Data/GenValidity/PathSpec.hs
--- a/test/Data/GenValidity/PathSpec.hs
+++ b/test/Data/GenValidity/PathSpec.hs
@@ -14,6 +14,10 @@
 spec :: Spec
 spec = do
     genValiditySpec @(Path Abs File)
+    shrinkValiditySpec @(Path Abs File)
     genValiditySpec @(Path Abs Dir)
+    shrinkValiditySpec @(Path Abs Dir)
     genValiditySpec @(Path Rel File)
+    shrinkValiditySpec @(Path Rel File)
     genValiditySpec @(Path Rel Dir)
+    shrinkValiditySpec @(Path Rel Dir)