diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,13 @@
+# Changelog
+
+## [1.0.0.0] - 2021-11-20
+
+### Changed
+
+* Compatibility with `genvalidity >= 1.0.0.0`
+
+## [0.3.0.4] - 2020-02-10
+
+### Changed
+
+* Improved the cabal file
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2016-2020 Tom Sydney Kerckhove
+Copyright (c) 2016-2021 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/Setup.hs b/Setup.hs
deleted file mode 100644
--- a/Setup.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-import Distribution.Simple
-
-main = defaultMain
diff --git a/bench/Main.hs b/bench/Main.hs
--- a/bench/Main.hs
+++ b/bench/Main.hs
@@ -3,17 +3,15 @@
 module Main where
 
 import Criterion.Main
-
-import Path
-
 import Data.GenValidity.Criterion
 import Data.GenValidity.Path ()
+import Path
 
 main :: IO ()
 main =
   defaultMain
-    [ genValidBench @(Path Abs File)
-    , genValidBench @(Path Rel File)
-    , genValidBench @(Path Abs Dir)
-    , genValidBench @(Path Rel Dir)
+    [ 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,23 +1,24 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.33.0.
+-- This file has been generated from package.yaml by hpack version 0.34.4.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: cc0e4e62c519f93b6e3e418d99ce26ebd67f407838cf561a6fc551338d2e3f73
 
 name:           genvalidity-path
-version:        0.3.0.4
+version:        1.0.0.0
 synopsis:       GenValidity support for Path
 category:       Testing
 homepage:       https://github.com/NorfairKing/validity#readme
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
 maintainer:     syd@cs-syd.eu
-copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove
+copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
+extra-source-files:
+    LICENSE
+    CHANGELOG.md
 
 source-repository head
   type: git
@@ -33,7 +34,7 @@
   build-depends:
       QuickCheck
     , base >=4.7 && <5
-    , genvalidity >=0.5
+    , genvalidity >=1.0
     , path >=0.5
     , validity-path >=0.3
   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
@@ -1,39 +1,26 @@
-{-# OPTIONS_GHC -fno-warn-orphans #-}
 {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE CPP #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module Data.GenValidity.Path where
-#if !MIN_VERSION_base(4,8,0)
-import Data.Functor ((<$>))
-#endif
+
 import Data.GenValidity
 import Data.Validity.Path ()
-
 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) where
-    genValid = (Path . ('/' :) <$> genUnchecked) `suchThat` isValid
+  genValid = (Path . ('/' :) <$> genValid) `suchThat` isValid
+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s
 
 instance GenValid (Path Abs Dir) where
-    genValid = (Path . ('/' :) . (++ "/") <$> genUnchecked) `suchThat` isValid
+  genValid = (Path . ('/' :) . (++ "/") <$> genValid) `suchThat` isValid
+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s
 
 instance GenValid (Path Rel File) where
-    genValid = (Path <$> genUnchecked) `suchThat` isValid
+  genValid = (Path <$> genValid) `suchThat` isValid
+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s
 
 instance GenValid (Path Rel Dir) where
-    genValid = (Path . (++ "/") <$> genUnchecked) `suchThat` isValid
-
-instance GenInvalid (Path Abs File)
-
-instance GenInvalid (Path Abs Dir)
-
-instance GenInvalid (Path Rel File)
-
-instance GenInvalid (Path Rel Dir)
+  genValid = (Path . (++ "/") <$> genValid) `suchThat` isValid
+  shrinkValid (Path s) = filter isValid $ Path <$> shrinkValid s
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
@@ -1,23 +1,22 @@
 {-# LANGUAGE TypeApplications #-}
 
 module Data.GenValidity.PathSpec
-    ( spec
-    ) where
+  ( spec,
+  )
+where
 
+import Data.GenValidity.Path ()
 import Path
-
 import Test.Hspec
 import Test.Validity
 
-import Data.GenValidity.Path ()
-
 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)
+  genValidSpec @(Path Abs File)
+  shrinkValidSpec @(Path Abs File)
+  genValidSpec @(Path Abs Dir)
+  shrinkValidSpec @(Path Abs Dir)
+  genValidSpec @(Path Rel File)
+  shrinkValidSpec @(Path Rel File)
+  genValidSpec @(Path Rel Dir)
+  shrinkValidSpec @(Path Rel Dir)