diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+4.0.1
+-----
+* Bug fix so we can compile on GHC 7.4
+
 4.0
 ---
 * Removed `keys` dependency
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:       4.0
+version:       4.0.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Data/Functor/Yoneda.hs b/src/Data/Functor/Yoneda.hs
--- a/src/Data/Functor/Yoneda.hs
+++ b/src/Data/Functor/Yoneda.hs
@@ -163,7 +163,7 @@
   collect f = liftYoneda . collect (lowerYoneda . f)
 
 instance Representable g => Representable (Yoneda g) where
-  type Rep (Yoneda f) = Rep f
+  type Rep (Yoneda g) = Rep g
   tabulate = liftYoneda . tabulate
   index = index . lowerYoneda