diff --git a/src/Control/Monad/Trans/Abort.hs b/src/Control/Monad/Trans/Abort.hs
--- a/src/Control/Monad/Trans/Abort.hs
+++ b/src/Control/Monad/Trans/Abort.hs
@@ -78,7 +78,7 @@
 instance MonadIO μ ⇒ MonadIO (AbortT e μ) where
   liftIO = lift . liftIO
 
-instance MonadBase μ η ⇒ MonadBase (AbortT e μ) η where
+instance MonadBase η μ ⇒ MonadBase η (AbortT e μ) where
   liftBase = lift . liftBase
 
 instance BindTrans (AbortT e) where
@@ -93,7 +93,7 @@
 instance MonadControlIO μ ⇒ MonadControlIO (AbortT e μ) where
   liftControlIO = liftLiftControlBase liftControlIO
 
-instance MonadBaseControl μ η ⇒ MonadBaseControl (AbortT e μ) η where
+instance MonadBaseControl η μ ⇒ MonadBaseControl η (AbortT e μ) where
   liftBaseControl = liftLiftControlBase liftBaseControl
 
 instance Monad μ ⇒ Failure e (AbortT e μ) where
diff --git a/src/Control/Monad/Trans/Finish.hs b/src/Control/Monad/Trans/Finish.hs
--- a/src/Control/Monad/Trans/Finish.hs
+++ b/src/Control/Monad/Trans/Finish.hs
@@ -61,7 +61,7 @@
 instance MonadIO μ ⇒ MonadIO (FinishT f μ) where
   liftIO = lift . liftIO
 
-instance MonadBase μ η ⇒ MonadBase (FinishT f μ) η where
+instance MonadBase η μ ⇒ MonadBase η (FinishT f μ) where
   liftBase = lift . liftBase
 
 instance BindTrans (FinishT f) where
@@ -76,7 +76,7 @@
 instance MonadControlIO μ ⇒ MonadControlIO (FinishT f μ) where
   liftControlIO = liftLiftControlBase liftControlIO
 
-instance MonadBaseControl μ η ⇒ MonadBaseControl (FinishT f μ) η where
+instance MonadBaseControl η μ ⇒ MonadBaseControl η (FinishT f μ) where
   liftBaseControl = liftLiftControlBase liftBaseControl
 
 runFinishT' ∷ Monad μ ⇒ FinishT α μ α → μ α
diff --git a/transformers-abort.cabal b/transformers-abort.cabal
--- a/transformers-abort.cabal
+++ b/transformers-abort.cabal
@@ -1,5 +1,5 @@
 Name: transformers-abort
-Version: 0.2
+Version: 0.3
 Category: Control
 Stability: experimental
 Synopsis: A better error monad transformer
@@ -27,7 +27,7 @@
   Build-Depends:
     base              >= 4 && < 5,
     transformers      >= 0.2,
-    transformers-base >= 0.2,
+    transformers-base >= 0.3,
     semigroupoids     >= 1.2,
     pointed           >= 2.0.1,
     data-default      >= 0.2,