diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for dep-t-advice
 
+## 0.4.6.1 
+
+* Modified a signature to make it compile with GHC 9.0.1.
+
 ## 0.4.6.0 
 
 * `adviseRecord` and `deceiveRecord` now work with records having fields wrapped in `Identity`.
diff --git a/dep-t-advice.cabal b/dep-t-advice.cabal
--- a/dep-t-advice.cabal
+++ b/dep-t-advice.cabal
@@ -1,7 +1,7 @@
 cabal-version:       3.0
 
 name:                dep-t-advice
-version:             0.4.6.0
+version:             0.4.6.1
 synopsis:            Giving good advice to functions in a DepT environment.
 description:         Companion to the dep-t package. Easily add behaviour to functions living in a DepT environment, 
                      whatever the number of arguments they might have.
@@ -71,7 +71,7 @@
   hs-source-dirs:      test
   main-is:             doctests.hs
   build-depends:       
-                       doctest            ^>= 0.17 
+                       doctest            ^>= 0.18 
                        
  -- https://cabal.readthedocs.io/en/3.4/cabal-package.html#benchmarks
 benchmark benchmark
diff --git a/lib/Control/Monad/Dep/Advice.hs b/lib/Control/Monad/Dep/Advice.hs
--- a/lib/Control/Monad/Dep/Advice.hs
+++ b/lib/Control/Monad/Dep/Advice.hs
@@ -864,7 +864,7 @@
   forall ca cr e_ m advised.
   AdvisedRecord ca e_ m cr advised =>
   -- | The advice to apply.
-  (forall r f. (cr r, Foldable f) => f (TypeRep, String) -> Advice ca e_ m r) ->
+  (forall r . cr r => [(TypeRep, String)] -> Advice ca e_ m r) ->
   -- | The record to advise recursively.
   advised (DepT e_ m) ->
   -- | The advised record.