diff --git a/genvalidity-containers.cabal b/genvalidity-containers.cabal
--- a/genvalidity-containers.cabal
+++ b/genvalidity-containers.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 7768035b368f7c5c0702f47b607c1efb2838388648616f073217ee2ca4057057
+-- hash: 2351a699b51cc37b65fdb421731fa9392ccdcd8dc374a95a0b5536110d10b2b9
 
 name:           genvalidity-containers
-version:        0.5.1.0
+version:        0.5.1.1
 synopsis:       GenValidity support for containers
 description:    Please see README.md
 category:       Testing
@@ -59,8 +59,9 @@
   build-depends:
       base >=4.9 && <=5
     , containers
-    , genvalidity
+    , genvalidity >=0.7
     , genvalidity-containers
     , genvalidity-hspec
     , hspec
+    , validity >=0.9
   default-language: Haskell2010
diff --git a/test/Test/Validity/Containers/MapSpec.hs b/test/Test/Validity/Containers/MapSpec.hs
--- a/test/Test/Validity/Containers/MapSpec.hs
+++ b/test/Test/Validity/Containers/MapSpec.hs
@@ -15,19 +15,19 @@
     describe "genStructurallyValidMapOf" $
         it "produces valid maps" $
         genGeneratesValid
-            (genStructurallyValidMapOf @Double @Double genValid)
+            (genStructurallyValidMapOf @Rational @Rational genValid)
             (const [])
     describe "genStructurallyValidMapOfInvalidValues" $
         it "produces valid maps" $
         genGeneratesInvalid
-            (genStructurallyValidMapOfInvalidValues @Double @Double)
+            (genStructurallyValidMapOfInvalidValues @Rational @Rational)
             (const [])
 #if MIN_VERSION_containers(0,5,9)
     describe "genStructurallyInvalidMap" $
         it "produces invalid maps" $
         genGeneratesInvalid
-            (genStructurallyInvalidMap @Double @Double)
+            (genStructurallyInvalidMap @Rational @Rational)
             (const [])
 #endif
-    genValidSpec @(Map Int Double)
-    genValiditySpec @(Map Double Double)
+    genValidSpec @(Map Int Rational)
+    genValiditySpec @(Map Rational Rational)
diff --git a/test/Test/Validity/Containers/SeqSpec.hs b/test/Test/Validity/Containers/SeqSpec.hs
--- a/test/Test/Validity/Containers/SeqSpec.hs
+++ b/test/Test/Validity/Containers/SeqSpec.hs
@@ -11,4 +11,4 @@
 spec :: Spec
 spec = do
     genValidSpec @(Seq Int)
-    genValiditySpec @(Seq Double)
+    genValiditySpec @(Seq Rational)
diff --git a/test/Test/Validity/Containers/SetSpec.hs b/test/Test/Validity/Containers/SetSpec.hs
--- a/test/Test/Validity/Containers/SetSpec.hs
+++ b/test/Test/Validity/Containers/SetSpec.hs
@@ -15,17 +15,17 @@
     describe "genStructurallyValidSetOf" $
         it "produces valid sets" $
         genGeneratesValid
-            (genStructurallyValidSetOf @Double genValid)
+            (genStructurallyValidSetOf @Rational genValid)
             (const [])
     describe "genStructurallyValidSetOfInvalidValues" $
         it "produces valid sets" $
         genGeneratesInvalid
-            (genStructurallyValidSetOfInvalidValues @Double)
+            (genStructurallyValidSetOfInvalidValues @Rational)
             (const [])
 #if MIN_VERSION_containers(0,5,9)
     describe "genStructurallyInvalidSet" $
         it "produces invalid sets" $
-        genGeneratesInvalid (genStructurallyInvalidSet @Double) (const [])
+        genGeneratesInvalid (genStructurallyInvalidSet @Rational) (const [])
 #endif
     genValidSpec @(Set Int)
-    genValiditySpec @(Set Double)
+    genValiditySpec @(Set Rational)
diff --git a/test/Test/Validity/Containers/TreeSpec.hs b/test/Test/Validity/Containers/TreeSpec.hs
--- a/test/Test/Validity/Containers/TreeSpec.hs
+++ b/test/Test/Validity/Containers/TreeSpec.hs
@@ -11,6 +11,6 @@
 spec :: Spec
 spec = do
     genValidSpec @(Tree Int)
-    genValiditySpec @(Tree Double)
+    genValiditySpec @(Tree Rational)
     shrinkValidSpec @(Tree Int)
-    shrinkValiditySpec @(Tree Double)
+    shrinkValiditySpec @(Tree Rational)