diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+3.5.1
+-----
+* Fixed a bug in the signature for `composedRepToCodensity`.
+
 3.5
 ---
 * More combinators for `Rift`/`Lift`.
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:       3.5
+version:       3.5.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Control/Monad/Codensity.hs b/src/Control/Monad/Codensity.hs
--- a/src/Control/Monad/Codensity.hs
+++ b/src/Control/Monad/Codensity.hs
@@ -182,7 +182,7 @@
 -- @
 -- 'composedRepToCodensity' = 'ranToCodensity' . 'composedRepToRan'
 -- @
-composedRepToCodensity :: (Representable u, Functor h) => u (Key u, a) -> Codensity u a
+composedRepToCodensity :: Representable u => u (Key u, a) -> Codensity u a
 composedRepToCodensity hfa = Codensity $ \k -> fmap (\(e, a) -> index (k a) e) hfa
 {-# INLINE composedRepToCodensity #-}