diff --git a/monad-control-aligned.cabal b/monad-control-aligned.cabal
--- a/monad-control-aligned.cabal
+++ b/monad-control-aligned.cabal
@@ -1,5 +1,5 @@
 name:               monad-control-aligned
-version:            0.0.2
+version:            0.0.2.1
 synopsis:
   Lift control operations, like exception catching, through monad transformers
 
diff --git a/src/Control/Monad/Trans/Control/Aligned.hs b/src/Control/Monad/Trans/Control/Aligned.hs
--- a/src/Control/Monad/Trans/Control/Aligned.hs
+++ b/src/Control/Monad/Trans/Control/Aligned.hs
@@ -251,11 +251,13 @@
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
 
+#if !(MIN_VERSION_transformers(0,6,0))
 instance Error e => MonadTransControl (ErrorT e) (Either e) where
     liftWith f = ErrorT $ liftM return $ f $ runErrorT
     restoreT = ErrorT
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
+#endif
 
 instance MonadTransControl (ExceptT e) (Either e) where
     liftWith f = ExceptT $ liftM return $ f $ runExceptT
@@ -263,11 +265,13 @@
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
 
+#if !(MIN_VERSION_transformers(0,6,0))
 instance MonadTransControl ListT [] where
     liftWith f = ListT $ liftM return $ f $ runListT
     restoreT = ListT
     {-# INLINABLE liftWith #-}
     {-# INLINABLE restoreT #-}
+#endif
 
 instance MonadTransControl (ReaderT r) Identity where
     liftWith f = ReaderT $ \r -> f $ \t -> Identity <$> runReaderT t r
@@ -489,11 +493,13 @@
   {-# INLINABLE liftBaseWith #-}
   {-# INLINABLE restoreM #-}
 
+#if !(MIN_VERSION_transformers(0,6,0))
 instance (MonadBaseControl b m stM) => MonadBaseControl b (ListT m) (Compose stM []) where
   liftBaseWith = defaultLiftBaseWith
   restoreM     = defaultRestoreM
   {-# INLINABLE liftBaseWith #-}
   {-# INLINABLE restoreM #-}
+#endif
 
 instance (MonadBaseControl b m stM) => MonadBaseControl b (ReaderT r m) (Compose stM Identity) where
   liftBaseWith = defaultLiftBaseWith
@@ -521,11 +527,13 @@
 
 
 
+#if !(MIN_VERSION_transformers(0,6,0))
 instance (MonadBaseControl b m stM, Error e) => MonadBaseControl b (ErrorT e m) (Compose stM (Either e)) where
   liftBaseWith = defaultLiftBaseWith
   restoreM     = defaultRestoreM
   {-# INLINABLE liftBaseWith #-}
   {-# INLINABLE restoreM #-}
+#endif
 
 instance (MonadBaseControl b m stM, Monoid w) => MonadBaseControl b (Strict.WriterT w m) (Compose stM ((,) w)) where
   liftBaseWith = defaultLiftBaseWith