diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## [1.0.0.1] - 2026-02-12
+
+* Made the Spec return type more general: TestDef outers ()
+
 ## [1.0.0.0] - 2021-11-20
 
 * Compatibility with `genvalidity >= 1.0.0.0`
diff --git a/genvalidity-sydtest-persistent.cabal b/genvalidity-sydtest-persistent.cabal
--- a/genvalidity-sydtest-persistent.cabal
+++ b/genvalidity-sydtest-persistent.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.4.
+-- This file has been generated from package.yaml by hpack version 0.38.3.
 --
 -- see: https://github.com/sol/hpack
 
 name:           genvalidity-sydtest-persistent
-version:        1.0.0.0
+version:        1.0.0.1
 synopsis:       Standard spec's for persistent-related instances for sydtest
 category:       Testing
 homepage:       http://cs-syd.eu
@@ -54,14 +54,8 @@
   build-tool-depends:
       sydtest-discover:sydtest-discover
   build-depends:
-      QuickCheck
-    , base >=4.9 && <=5
+      base >=4.9 && <=5
     , genvalidity
-    , genvalidity-sydtest
     , genvalidity-sydtest-persistent
-    , genvalidity-text
-    , persistent
     , sydtest
-    , text
-    , validity >=0.9
   default-language: Haskell2010
diff --git a/src/Test/Syd/Validity/Persist.hs b/src/Test/Syd/Validity/Persist.hs
--- a/src/Test/Syd/Validity/Persist.hs
+++ b/src/Test/Syd/Validity/Persist.hs
@@ -27,9 +27,9 @@
 --
 -- > persistSpec @Int
 persistSpec ::
-  forall a.
+  forall a outers.
   (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>
-  Spec
+  TestDef outers ()
 persistSpec = persistSpecOnGen (genValid @a) "valid" shrinkValid
 
 -- | Standard test spec for properties of persistent-related functions for arbitrary values
@@ -38,9 +38,9 @@
 --
 -- > persistSpecOnArbitrary @Int
 persistSpecOnArbitrary ::
-  forall a.
+  forall a outers.
   (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) =>
-  Spec
+  TestDef outers ()
 persistSpecOnArbitrary = persistSpecOnGen (arbitrary @a) "arbitrary" shrink
 
 -- | Standard test spec for properties of persistent-related functions for a given generator (and a name for that generator).
@@ -49,25 +49,25 @@
 --
 -- > persistSpecOnGen (genListOf $ pure 'a') "sequence of 'a's"
 persistSpecOnGen ::
-  forall a.
+  forall a outers.
   (Show a, Eq a, Typeable a, PersistField a) =>
   Gen a ->
   String ->
   (a -> [a]) ->
-  Spec
+  TestDef outers ()
 persistSpecOnGen gen genname s =
   parallel $ do
     let name = nameOf @a
     describe ("PersistField " ++ name ++ " (" ++ genname ++ ")") $ do
-      describe ("fromPersistValue :: PersistValue -> Either Text " ++ name) $
-        it
+      describe ("fromPersistValue :: PersistValue -> Either Text " ++ name)
+        $ it
           ( unwords
               [ "ensures that toPersistValue and fromPersistValue are inverses for",
                 "\"" ++ genname,
                 name ++ "\"" ++ "'s"
               ]
           )
-          $ fromPersistValueAndToPersistValueAreInversesOnGen gen s
+        $ fromPersistValueAndToPersistValueAreInversesOnGen gen s
 
 -- |
 --