diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,27 @@
+# Changelog
+
+## [1.0.0.0] - 2021-11-20
+
+### Changed
+
+* Compatibility with `genvalidity >= 1.0.0.0`
+
+## [0.3.0.1] - 2020-02-10
+
+### Changelog
+
+* Improved the cabal file
+
+## [0.3.0.0] - 2019-03-08
+
+### Changelog
+
+* Compatibility with genvalidity >=0.8
+
+### Changed
+
+## [0.2.0.3] - 2018-11-07
+
+### Changed
+
+* Compatibility with validity >=0.9 and genvalidity >= 0.7
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/genvalidity-vector.cabal b/genvalidity-vector.cabal
--- a/genvalidity-vector.cabal
+++ b/genvalidity-vector.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: bcc21b1fc4d1b530c7cac087e5da0265c2871bc97ffd5d9d26c917a5f69e8488
 
 name:           genvalidity-vector
-version:        0.3.0.1
+version:        1.0.0.0
 synopsis:       GenValidity support for vector
 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) 2017-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 <5
-    , genvalidity >=0.5
+    , genvalidity >=1.0
     , validity >=0.5
     , validity-vector >=0.1
     , vector
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
@@ -1,32 +1,16 @@
 {-# OPTIONS_GHC -fno-warn-orphans #-}
-{-# LANGUAGE CPP #-}
 
 module Data.GenValidity.Vector where
-#if !MIN_VERSION_base(4,8,0)
-import Data.Functor ((<$>))
-#endif
+
 import Data.GenValidity
 import Data.Validity.Vector ()
-
 import qualified Data.Vector as V
 import qualified Data.Vector.Storable as SV
 
-instance GenUnchecked v => GenUnchecked (V.Vector v) where
-    genUnchecked = V.fromList <$> genUnchecked
-    shrinkUnchecked = fmap V.fromList . shrinkUnchecked . V.toList
-
 instance GenValid v => GenValid (V.Vector v) where
-    genValid = V.fromList <$> genValid
-    shrinkValid = fmap V.fromList . shrinkValid . V.toList
-
-instance (GenUnchecked v, GenInvalid v) => GenInvalid (V.Vector v) where
-    genInvalid = V.fromList <$> genInvalid
-    shrinkInvalid = fmap V.fromList . shrinkInvalid . V.toList
-
-instance (SV.Storable e, GenUnchecked e) => GenUnchecked (SV.Vector e) where
-    genUnchecked = SV.fromList <$> genUnchecked
-    shrinkUnchecked = fmap SV.fromList . shrinkUnchecked . SV.toList
+  genValid = V.fromList <$> genValid
+  shrinkValid = fmap V.fromList . shrinkValid . V.toList
 
 instance (SV.Storable e, GenValid e) => GenValid (SV.Vector e) where
-    genValid = SV.fromList <$> genValid
-    shrinkValid = fmap SV.fromList . shrinkValid . SV.toList
+  genValid = SV.fromList <$> genValid
+  shrinkValid = fmap SV.fromList . shrinkValid . SV.toList
diff --git a/test/Test/Validity/VectorSpec.hs b/test/Test/Validity/VectorSpec.hs
--- a/test/Test/Validity/VectorSpec.hs
+++ b/test/Test/Validity/VectorSpec.hs
@@ -2,15 +2,14 @@
 
 module Test.Validity.VectorSpec where
 
-import Test.Hspec
-
 import Data.GenValidity.Vector ()
 import qualified Data.Vector as V
 import qualified Data.Vector.Storable as SV
+import Test.Hspec
 import Test.Validity.GenValidity
 
 spec :: Spec
 spec = do
-    genValidSpec @(V.Vector Int)
-    genValiditySpec @(V.Vector Rational)
-    genValidSpec @(SV.Vector Int)
+  genValidSpec @(V.Vector Int)
+  genValidSpec @(V.Vector Rational)
+  genValidSpec @(SV.Vector Int)