diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+3.2.0.2
+* Updated array dependency
+* Added proper upper bounds on dependencies
+
 3.2.0.1
 -------
 * Fixed issue [#1](https://github.com/ekmett/representable-functors/pull/1). Did `RULES` parsing change with GHC 7.6.3?
diff --git a/representable-functors.cabal b/representable-functors.cabal
--- a/representable-functors.cabal
+++ b/representable-functors.cabal
@@ -1,6 +1,6 @@
 name:          representable-functors
 category:      Monads, Functors, Data Structures
-version:       3.2.0.1
+version:       3.2.0.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -40,20 +40,20 @@
     UndecidableInstances
 
   build-depends:
-    array                >= 0.3.0.2 && < 0.5,
-    base                 >= 4 && < 5,
-    comonad              >= 3,
-    comonad-transformers >= 3,
-    comonads-fd          >= 3,
-    containers           >= 0.3 && < 0.6,
-    contravariant        >= 0.4.1,
-    distributive         >= 0.2.2,
-    free                 >= 3,
-    keys                 >= 3,
+    array                >= 0.3.0.2 && < 0.6,
+    base                 >= 4       && < 5,
+    comonad              >= 3       && < 4,
+    comonad-transformers >= 3       && < 4,
+    comonads-fd          >= 3       && < 4,
+    containers           >= 0.3     && < 0.6,
+    contravariant        >= 0.4.1   && < 1,
+    distributive         >= 0.2.2   && < 1,
+    free                 >= 3       && < 4,
+    keys                 >= 3       && < 4,
     mtl                  >= 2.0.1.0 && < 2.2,
-    semigroups           >= 0.8.3.1,
-    semigroupoids        >= 3,
-    transformers         >= 0.2 && < 0.4
+    semigroups           >= 0.8.3.1 && < 1,
+    semigroupoids        >= 3       && < 4,
+    transformers         >= 0.2     && < 0.4
 
   exposed-modules:
     Data.Functor.Contravariant.Representable