diff --git a/Control/Monad/Exception/Base.hs b/Control/Monad/Exception/Base.hs
--- a/Control/Monad/Exception/Base.hs
+++ b/Control/Monad/Exception/Base.hs
@@ -96,14 +96,14 @@
     liftBase = liftBaseDefault
 
 instance MonadBaseControl b m => MonadBaseControl b (EMT l m) where
-     type StM (EMT l m) a = ComposeSt (EMT l) m a
-     liftBaseWith = defaultLiftBaseWith
-     restoreM     = defaultRestoreM
+     newtype StM (EMT l m) a = StmEMT {unStmEMT :: ComposeSt (EMT l) m a}
+     liftBaseWith = defaultLiftBaseWith StmEMT
+     restoreM     = defaultRestoreM   unStmEMT
 
 instance MonadTransControl (EMT l) where
-     type StT (EMT l) a = Either (CallTrace, CheckedException l) a
-     liftWith f = EMT $ liftM return $ f unEMT
-     restoreT       = EMT
+     newtype StT (EMT l) a = StEMT {unStEMT :: Either (CallTrace, CheckedException l) a}
+     liftWith f = EMT $ liftM return $ f $ liftM StEMT . unEMT
+     restoreT       = EMT . liftM unStEMT
 
 instance Monad m => MonadLoc (EMT l m) where
     withLoc loc (EMT emt) = EMT $ do
diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -6,3 +6,4 @@
      * 0.10.3.1 - Compatibility with base 4.6
      * 0.11 - Experimental support for asynchronous exceptions (via monad-control)
      * 0.11.1 - Add missing Alternative instances
+     * 0.11.3 (Jul 6 2020) - Compatibility with recent monad-control and base packages (contributed by Tao He)
diff --git a/control-monad-exception.cabal b/control-monad-exception.cabal
--- a/control-monad-exception.cabal
+++ b/control-monad-exception.cabal
@@ -1,8 +1,8 @@
 name: control-monad-exception
-version: 0.11.2
+version: 0.11.3
 Cabal-Version:  >= 1.10
 build-type: Simple
-license: MIT
+license: PublicDomain
 author: Pepe Iborra
 maintainer: pepeiborra@gmail.com
 homepage: http://pepeiborra.github.com/control-monad-exception
@@ -65,7 +65,7 @@
 synopsis: Explicitly typed, checked exceptions with stack traces
 category: Control, Monads, Failure
 stability: provisional
-tested-with: GHC == 6.12.1
+tested-with: GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1
 bug-reports: http://github.com/pepeiborra/control-monad-exception/issues
 
 extra-source-files:
@@ -82,7 +82,7 @@
                , transformers >= 0.2
                , transformers-base >= 0.4.1
                , monadloc >= 0.7
-               , monad-control >= 1.0
+               , monad-control >= 0.3
                , lifted-base >= 0.2.1
 
   if flag(extensibleExceptions)