diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,8 @@
+5.2.5 [2022.06.26]
+------------------
+* Only require a `Functor` constraint in the `Eq` and `Ord` instances for
+  `Coyoneda` when building against `transformers-0.4.*`.
+
 5.2.4 [2022.05.07]
 ------------------
 * Allow building with `transformers-0.6.*` and `mtl-2.3.*`.
diff --git a/kan-extensions.cabal b/kan-extensions.cabal
--- a/kan-extensions.cabal
+++ b/kan-extensions.cabal
@@ -1,6 +1,6 @@
 name:          kan-extensions
 category:      Data Structures, Monads, Comonads, Functors
-version:       5.2.4
+version:       5.2.5
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
diff --git a/src/Data/Functor/Coyoneda.hs b/src/Data/Functor/Coyoneda.hs
--- a/src/Data/Functor/Coyoneda.hs
+++ b/src/Data/Functor/Coyoneda.hs
@@ -287,11 +287,19 @@
   {-# INLINE compare1 #-}
 #endif
 
-instance (Functor f, Eq1 f, Eq a) => Eq (Coyoneda f a) where
+instance ( Eq1 f, Eq a
+#if !LIFTED_FUNCTOR_CLASSES
+         , Functor f
+#endif
+         ) => Eq (Coyoneda f a) where
   (==) = eq1
   {-# INLINE (==) #-}
 
-instance (Functor f, Ord1 f, Ord a) => Ord (Coyoneda f a) where
+instance ( Ord1 f, Ord a
+#if !LIFTED_FUNCTOR_CLASSES
+         , Functor f
+#endif
+         ) => Ord (Coyoneda f a) where
   compare = compare1
   {-# INLINE compare #-}