diff --git a/bench/Main.hs b/bench/Main.hs
new file mode 100644
--- /dev/null
+++ b/bench/Main.hs
@@ -0,0 +1,40 @@
+{-# LANGUAGE TypeApplications #-}
+
+module Main where
+
+import Criterion.Main
+import Test.QuickCheck
+
+import Path
+
+import Data.GenValidity
+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))
+        ]
diff --git a/genvalidity-path.cabal b/genvalidity-path.cabal
--- a/genvalidity-path.cabal
+++ b/genvalidity-path.cabal
@@ -1,44 +1,73 @@
-name: genvalidity-path
-version: 0.2.0.2
-cabal-version: >=1.10
-build-type: Simple
-license: MIT
-license-file: LICENSE
-copyright: Copyright: (c) 2016 Tom Sydney Kerckhove
-maintainer: syd.kerckhove@gmail.com
-homepage: https://github.com/NorfairKing/validity#readme
-synopsis: GenValidity support for Path
-description:
-    Please see README.md
-category: Testing
-author: Tom Sydney Kerckhove
+-- This file has been generated from package.yaml by hpack version 0.20.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 51db4477783d7f7d53e1b108ac534f18db23983d244f08a95b44e14c8c01e13e
 
+name:           genvalidity-path
+version:        0.3.0.0
+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
+copyright:      Copyright: (c) 2016-2018 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
+  type: git
+  location: https://github.com/NorfairKing/validity
 
 library
-    exposed-modules:
-        Data.GenValidity.Path
-    build-depends:
-        base >=4.7 && <5,
-        validity-path >=0.2 && <0.3,
-        genvalidity >=0.4 && <0.5,
-        path >=0.5 && <0.7
-    default-language: Haskell2010
-    hs-source-dirs: src
+  hs-source-dirs:
+      src
+  build-depends:
+      QuickCheck
+    , base >=4.7 && <5
+    , genvalidity >=0.5 && <0.6
+    , path >=0.5 && <0.7
+    , validity-path >=0.3 && <0.4
+  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
-    build-depends:
-        base -any,
-        genvalidity-path -any,
-        hspec -any,
-        genvalidity-hspec -any,
-        path -any
-    default-language: Haskell2010
-    hs-source-dirs: test
-    other-modules:
-        Data.GenValidity.PathSpec
-    ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -fno-warn-name-shadowing
+  type: exitcode-stdio-1.0
+  main-is: Spec.hs
+  hs-source-dirs:
+      test
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -fno-warn-name-shadowing
+  build-depends:
+      base
+    , genvalidity-hspec
+    , genvalidity-path
+    , hspec
+    , path
+  other-modules:
+      Data.GenValidity.PathSpec
+      Paths_genvalidity_path
+  default-language: Haskell2010
+
+benchmark genvalidity-path-bench
+  type: exitcode-stdio-1.0
+  main-is: Main.hs
+  hs-source-dirs:
+      bench
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -fno-warn-name-shadowing
+  build-depends:
+      QuickCheck
+    , base
+    , criterion
+    , genvalidity
+    , genvalidity-path
+    , path
+  other-modules:
+      Paths_genvalidity_path
+  default-language: Haskell2010
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
@@ -12,17 +12,23 @@
 import Path
 import Path.Internal
 
+import Test.QuickCheck.Gen
+
 instance GenUnchecked (Path a f) where
     genUnchecked = Path <$> genUnchecked
     shrinkUnchecked (Path s) = Path <$> shrinkUnchecked s
 
-instance GenValid (Path Abs File)
+instance GenValid (Path Abs File) where
+    genValid = (Path . ('/' :) <$> genUnchecked) `suchThat` isValid
 
-instance GenValid (Path Abs Dir)
+instance GenValid (Path Abs Dir) where
+    genValid = (Path . ('/' :) . (++ "/") <$> genUnchecked) `suchThat` isValid
 
-instance GenValid (Path Rel File)
+instance GenValid (Path Rel File) where
+    genValid = (Path <$> genUnchecked) `suchThat` isValid
 
-instance GenValid (Path Rel Dir)
+instance GenValid (Path Rel Dir) where
+    genValid = (Path . (++ "/") <$> genUnchecked) `suchThat` isValid
 
 instance GenInvalid (Path Abs File)