diff --git a/Control/Comonad/Representable/Store.hs b/Control/Comonad/Representable/Store.hs
--- a/Control/Comonad/Representable/Store.hs
+++ b/Control/Comonad/Representable/Store.hs
@@ -34,6 +34,7 @@
 import Data.Key
 import Data.Functor.Apply
 import Data.Monoid
+import Data.Semigroup
 import Control.Comonad.Hoist.Class
 import Control.Comonad.Env.Class
 import Control.Comonad.Traced.Class
diff --git a/Control/Monad/Representable/Reader.hs b/Control/Monad/Representable/Reader.hs
--- a/Control/Monad/Representable/Reader.hs
+++ b/Control/Monad/Representable/Reader.hs
@@ -39,6 +39,7 @@
 import Data.Foldable
 import Data.Monoid
 import Data.Traversable
+import Data.Semigroup
 import Data.Semigroup.Foldable
 import Data.Semigroup.Traversable
 import Prelude hiding (lookup)
diff --git a/Data/Functor/Representable.hs b/Data/Functor/Representable.hs
--- a/Data/Functor/Representable.hs
+++ b/Data/Functor/Representable.hs
@@ -58,6 +58,7 @@
 import Data.Functor.Product
 import Data.Monoid hiding (Product)
 import Data.Lens.Common
+import Data.Semigroup hiding (Product)
 import Prelude hiding (lookup)
 
 -- | A 'Functor' @f@ is 'Representable' if 'tabulate' and 'index' witness an isomorphism to @(->) x@.
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:       2.0.0.5
+version:       2.0.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -30,21 +30,21 @@
     UndecidableInstances
 
   build-depends: 
-    array >= 0.3.0.2 && < 0.4,
-    base >= 4 && < 5,
-    comonad >= 1.1.1 && < 1.2,
-    containers >= 0.3 && < 0.5,
-    contravariant >= 0.1.2 && < 0.2,
-    distributive >= 0.2 && < 0.3,
-    mtl >= 2.0.1.0 && < 2.1,
-    semigroups >= 0.7.1 && < 0.8,
-    semigroupoids >= 1.2.4 && < 1.3.0,
-    transformers >= 0.2.0 && < 0.3,
-    keys                 >= 2.0 && < 2.1,
-    free                 >= 2.0 && < 2.1,
-    comonad-transformers >= 2.0 && < 2.1,
-    comonads-fd          >= 2.0 && < 2.1,
-    data-lens            >= 2.0 && < 2.1
+    array                >= 0.3.0.2 && < 0.4,
+    base                 >= 4       && < 5,
+    comonad              >= 1.1.1   && < 1.2,
+    containers           >= 0.3     && < 0.5,
+    contravariant        >= 0.1.2   && < 0.2,
+    distributive         >= 0.2     && < 0.3,
+    mtl                  >= 2.0.1.0 && < 2.1,
+    semigroups           >= 0.7.1   && < 0.8,
+    semigroupoids        >= 1.2.4   && < 1.3.0,
+    transformers         >= 0.2.0   && < 0.3,
+    keys                 >= 2.1     && < 2.2,
+    free                 >= 2.0     && < 2.1,
+    comonad-transformers >= 2.0     && < 2.1,
+    comonads-fd          >= 2.0     && < 2.1,
+    data-lens            >= 2.0     && < 2.1
 
   exposed-modules:
     Data.Functor.Corepresentable