diff --git a/Control/Monad/Reader/Trie.hs b/Control/Monad/Reader/Trie.hs
--- a/Control/Monad/Reader/Trie.hs
+++ b/Control/Monad/Reader/Trie.hs
@@ -21,10 +21,10 @@
 import Control.Monad.Trans.Class
 import Control.Monad.IO.Class
 import Control.Monad.Reader.Class
-import Control.Monad.Representable
 import Control.Monad.Writer.Class as Writer
 import Data.Distributive
 import Data.Functor.Bind
+import Data.Functor.Representable
 import Data.Functor.Representable.Trie
 import Data.Foldable
 import Data.Key
diff --git a/Data/Functor/Representable/Trie.hs b/Data/Functor/Representable/Trie.hs
--- a/Data/Functor/Representable/Trie.hs
+++ b/Data/Functor/Representable/Trie.hs
@@ -28,8 +28,8 @@
 import Control.Applicative
 import Control.Arrow
 import Control.Comonad
-import Control.Monad.Reader
-import Control.Monad.Representable
+import Control.Monad.Reader.Class
+import Control.Monad.Representable.Reader
 import Data.Bits
 import Data.Distributive
 import Data.Foldable
@@ -263,12 +263,12 @@
   projectKey = Monoid.Product . projectKey 
 
 instance (HasTrie a, HasTrie b) => HasTrie (a, b) where
-  type BaseTrie (a, b) = RepT (BaseTrie a) (BaseTrie b)
+  type BaseTrie (a, b) = ReaderT (BaseTrie a) (BaseTrie b)
   embedKey = embedKey *** embedKey
   projectKey = projectKey *** projectKey
 
 instance (HasTrie a, HasTrie b) => HasTrie (Entry a b) where
-  type BaseTrie (Entry a b) = RepT (BaseTrie a) (BaseTrie b)
+  type BaseTrie (Entry a b) = ReaderT (BaseTrie a) (BaseTrie b)
   embedKey (Entry a b) = (embedKey a, embedKey b)
   projectKey (a, b) = Entry (projectKey a) (projectKey b)
 
diff --git a/representable-tries.cabal b/representable-tries.cabal
--- a/representable-tries.cabal
+++ b/representable-tries.cabal
@@ -1,6 +1,6 @@
 name:          representable-tries
 category:      Data Structures, Functors, Monads, Comonads
-version:       0.5.0.1
+version:       1.8.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -19,19 +19,19 @@
 
 library
   build-depends: 
-    adjunctions >= 1.0.0 && < 1.0.1,
     base >= 4 && < 4.4,
     bifunctors >= 0.1.1 && < 0.2,
     comonad >= 1.1 && < 1.2,
-    comonad-transformers >= 1.7 && < 1.8,
     containers >= 0.3 && < 0.5,
     distributive >= 0.2 && < 0.3,
-    keys >= 0.3 && < 0.4,
     mtl >= 2.0.1.0 && < 2.1,
-    representable-functors >= 0.5 && < 0.6,
     semigroups >= 0.5 && < 0.6,
     semigroupoids >= 1.2.2 && < 1.3.0,
-    transformers >= 0.2.0 && < 0.3
+    transformers >= 0.2.0 && < 0.3,
+    adjunctions            >= 1.8 && < 1.9,
+    keys                   >= 1.8 && < 1.9,
+    comonad-transformers   >= 1.8 && < 1.9,
+    representable-functors >= 1.8 && < 1.9
 
   exposed-modules:
     Control.Monad.Reader.Trie