diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+1.0.3.1.
+
+* Support transformers-0.6
+
 1.0.3
 
 * Add `controlT`
diff --git a/monad-control.cabal b/monad-control.cabal
--- a/monad-control.cabal
+++ b/monad-control.cabal
@@ -1,5 +1,5 @@
 name:               monad-control
-version:            1.0.3
+version:            1.0.3.1
 synopsis:
   Lift control operations, like exception catching, through monad transformers
 
@@ -65,6 +65,6 @@
   build-depends:
       base                 >=4.5   && <5
     , stm                  >=2.3   && <3
-    , transformers         >=0.2   && <0.6
+    , transformers         >=0.2   && <0.7
     , transformers-base    >=0.4.4 && <0.5
     , transformers-compat  >=0.3   && <0.8
diff --git a/src/Control/Monad/Trans/Control.hs b/src/Control/Monad/Trans/Control.hs
--- a/src/Control/Monad/Trans/Control.hs
+++ b/src/Control/Monad/Trans/Control.hs
@@ -115,15 +115,18 @@
 import Control.Monad.Trans.Class    ( MonadTrans )
 
 import Control.Monad.Trans.Identity ( IdentityT(IdentityT), runIdentityT )
-import Control.Monad.Trans.List     ( ListT    (ListT),     runListT )
 import Control.Monad.Trans.Maybe    ( MaybeT   (MaybeT),    runMaybeT )
-import Control.Monad.Trans.Error    ( ErrorT   (ErrorT),    runErrorT, Error )
 import Control.Monad.Trans.Reader   ( ReaderT  (ReaderT),   runReaderT )
 import Control.Monad.Trans.State    ( StateT   (StateT),    runStateT )
 import Control.Monad.Trans.Writer   ( WriterT  (WriterT),   runWriterT )
 import Control.Monad.Trans.RWS      ( RWST     (RWST),      runRWST )
 import Control.Monad.Trans.Except   ( ExceptT  (ExceptT),   runExceptT )
 
+#if !(MIN_VERSION_transformers(0,6,0))
+import Control.Monad.Trans.List     ( ListT    (ListT),     runListT )
+import Control.Monad.Trans.Error    ( ErrorT   (ErrorT),    runErrorT, Error )
+#endif
+
 import qualified Control.Monad.Trans.RWS.Strict    as Strict ( RWST   (RWST),    runRWST )
 import qualified Control.Monad.Trans.State.Strict  as Strict ( StateT (StateT),  runStateT )
 import qualified Control.Monad.Trans.Writer.Strict as Strict ( WriterT(WriterT), runWriterT )
@@ -415,12 +418,21 @@
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
 
+#if !(MIN_VERSION_transformers(0,6,0))
+instance MonadTransControl ListT where
+    type StT ListT a = [a]
+    liftWith f = ListT $ liftM return $ f $ runListT
+    restoreT = ListT
+    {-# INLINABLE liftWith #-}
+    {-# INLINABLE restoreT #-}
+
 instance Error e => MonadTransControl (ErrorT e) where
     type StT (ErrorT e) a = Either e a
     liftWith f = ErrorT $ liftM return $ f $ runErrorT
     restoreT = ErrorT
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
+#endif
 
 instance MonadTransControl (ExceptT e) where
     type StT (ExceptT e) a = Either e a
@@ -429,13 +441,6 @@
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
 
-instance MonadTransControl ListT where
-    type StT ListT a = [a]
-    liftWith f = ListT $ liftM return $ f $ runListT
-    restoreT = ListT
-    {-# INLINABLE liftWith #-}
-    {-# INLINABLE restoreT #-}
-
 instance MonadTransControl (ReaderT r) where
     type StT (ReaderT r) a = a
     liftWith f = ReaderT $ \r -> f $ \t -> runReaderT t r
@@ -711,17 +716,20 @@
 
 TRANS(IdentityT)
 TRANS(MaybeT)
-TRANS(ListT)
 TRANS(ReaderT r)
 TRANS(Strict.StateT s)
 TRANS(       StateT s)
 TRANS(ExceptT e)
 
-TRANS_CTX(Error e,         ErrorT e)
 TRANS_CTX(Monoid w, Strict.WriterT w)
 TRANS_CTX(Monoid w,        WriterT w)
 TRANS_CTX(Monoid w, Strict.RWST r w s)
 TRANS_CTX(Monoid w,        RWST r w s)
+
+#if !(MIN_VERSION_transformers(0,6,0))
+TRANS(ListT)
+TRANS_CTX(Error e,         ErrorT e)
+#endif
 
 #undef BODY
 #undef TRANS