diff --git a/CHANGES.md b/CHANGES.md
new file mode 100644
--- /dev/null
+++ b/CHANGES.md
@@ -0,0 +1,7 @@
+Changes
+=======
+
+Version 0.1.1
+-------------
+
+Fix some compatibility issues
diff --git a/Data/Generics/Traversable.hs b/Data/Generics/Traversable.hs
--- a/Data/Generics/Traversable.hs
+++ b/Data/Generics/Traversable.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ConstraintKinds, KindSignatures, MultiParamTypeClasses, RankNTypes, UndecidableInstances, ImplicitParams, ScopedTypeVariables #-}
+{-# LANGUAGE ConstraintKinds, KindSignatures, MultiParamTypeClasses, RankNTypes, UndecidableInstances, ImplicitParams, ScopedTypeVariables, FlexibleContexts, FlexibleInstances #-}
 -- | All of the functions below work only on «interesting» subterms.
 -- It is up to the instance writer to decide which subterms are
 -- interesting and which subterms should count as immediate. This can
diff --git a/Data/Generics/Traversable/Core.hs b/Data/Generics/Traversable/Core.hs
--- a/Data/Generics/Traversable/Core.hs
+++ b/Data/Generics/Traversable/Core.hs
@@ -19,4 +19,4 @@
     :: (Applicative f, ?c :: p c)
     => (forall d . c d => d -> f d)
     -> a -> f a
-  gtraverse = const pure
+  gtraverse _ x = pure x
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,6 @@
+# Traverse with class!
+
+`traverse-with-class` is a Haskell library for writing generic traversal
+functions. It is similar to syb-with-class, but has many improvements.
+
+[Hackage](http://hackage.haskell.org/package/traverse-with-class)
diff --git a/traverse-with-class.cabal b/traverse-with-class.cabal
--- a/traverse-with-class.cabal
+++ b/traverse-with-class.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                traverse-with-class
-version:             0.1
+version:             0.1.1
 synopsis:            Generic applicative traversals
 description:         This is a generic programming library in the spirit of
                      \"Scrap your boilerplate with class\", but with several
@@ -19,6 +19,9 @@
 category:            Data
 build-type:          Simple
 cabal-version:       >=1.10
+extra-source-files:
+  README.md
+  CHANGES.md
 
 library
   exposed-modules:     Data.Generics.Traversable