diff --git a/Control/Monad/Cont/Class.hs b/Control/Monad/Cont/Class.hs
--- a/Control/Monad/Cont/Class.hs
+++ b/Control/Monad/Cont/Class.hs
@@ -66,7 +66,6 @@
 import Control.Monad.Trans.Writer.Lazy as LazyWriter
 import Control.Monad.Trans.Writer.Strict as StrictWriter
 
-import Control.Monad
 import Data.Monoid
 
 class (Monad m) => MonadCont m where
diff --git a/Control/Monad/Error.hs b/Control/Monad/Error.hs
--- a/Control/Monad/Error.hs
+++ b/Control/Monad/Error.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {- |
 Module      :  Control.Monad.Error
 Copyright   :  (c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001,
@@ -54,7 +55,9 @@
 
 import Control.Monad
 import Control.Monad.Fix
-import Control.Monad.Instances ()
+#if !(MIN_VERSION_base(4,6,0))
+import Control.Monad.Instances ()  -- deprecated from base-4.6
+#endif
 
 {- $customErrorExample
 Here is an example that demonstrates the use of a custom 'Error' data type with
diff --git a/Control/Monad/Error/Class.hs b/Control/Monad/Error/Class.hs
--- a/Control/Monad/Error/Class.hs
+++ b/Control/Monad/Error/Class.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {- |
 Module      :  Control.Monad.Error.Class
 Copyright   :  (c) Michael Weber <michael.weber@post.rwth-aachen.de> 2001,
@@ -51,8 +52,9 @@
 import Control.Monad.Trans
 
 import qualified Control.Exception
-import Control.Monad
-import Control.Monad.Instances ()
+#if !(MIN_VERSION_base(4,6,0))
+import Control.Monad.Instances ()  -- deprecated from base-4.6
+#endif
 import Data.Monoid
 import System.IO
 
diff --git a/Control/Monad/Reader/Class.hs b/Control/Monad/Reader/Class.hs
--- a/Control/Monad/Reader/Class.hs
+++ b/Control/Monad/Reader/Class.hs
@@ -56,7 +56,6 @@
 import Control.Monad.Trans.Writer.Strict as Strict
 import Control.Monad.Trans
 
-import Control.Monad
 import Data.Monoid
 
 -- ----------------------------------------------------------------------------
@@ -74,13 +73,13 @@
 
     -- | Executes a computation in a modified environment.
     local :: (EnvType m -> EnvType m)
-			-- ^ The function to modify the environment.
-          -> m a	-- ^ @Reader@ to run in the modified environment.
+                        -- ^ The function to modify the environment.
+          -> m a        -- ^ @Reader@ to run in the modified environment.
           -> m a
 
 -- | Retrieves a function of the current environment.
 asks :: (MonadReader m)
-    => (EnvType m -> a)	-- ^ The selector function to apply to the environment.
+    => (EnvType m -> a) -- ^ The selector function to apply to the environment.
     -> m a
 asks f = do
     r <- ask
diff --git a/Control/Monad/State/Class.hs b/Control/Monad/State/Class.hs
--- a/Control/Monad/State/Class.hs
+++ b/Control/Monad/State/Class.hs
@@ -39,7 +39,6 @@
 import Control.Monad.Trans.Writer.Lazy as Lazy
 import Control.Monad.Trans.Writer.Strict as Strict
 
-import Control.Monad
 import Data.Monoid
 
 -- ---------------------------------------------------------------------------
diff --git a/Control/Monad/Writer/Class.hs b/Control/Monad/Writer/Class.hs
--- a/Control/Monad/Writer/Class.hs
+++ b/Control/Monad/Writer/Class.hs
@@ -24,7 +24,6 @@
     censor,
   ) where
 
-import Control.Monad
 import Control.Monad.Trans.Error as Error
 import Control.Monad.Trans.Identity as Identity
 import Control.Monad.Trans.Maybe as Maybe
@@ -40,6 +39,7 @@
 import qualified Control.Monad.Trans.Writer.Strict as Strict (
         WriterT, tell, listen, pass)
 import Control.Monad.Trans (lift)
+
 import Data.Monoid
 
 -- ---------------------------------------------------------------------------
diff --git a/monads-tf.cabal b/monads-tf.cabal
--- a/monads-tf.cabal
+++ b/monads-tf.cabal
@@ -1,5 +1,5 @@
 name:         monads-tf
-version:      0.1.0.2
+version:      0.1.0.3
 license:      BSD3
 license-file: LICENSE
 author:       Andy Gill
@@ -40,7 +40,7 @@
     Control.Monad.Writer.Class
     Control.Monad.Writer.Lazy
     Control.Monad.Writer.Strict
-  build-depends: base < 6, transformers >= 0.2.0.0 && < 0.5
+  build-depends: base < 6, transformers >= 0.2.0.0 && < 0.6
   extensions:
     FlexibleContexts
     TypeFamilies