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
@@ -3,6 +3,7 @@
 {-# LANGUAGE FlexibleContexts, FlexibleInstances, TypeSynonymInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE PatternGuards #-}
+{-# LANGUAGE OverlappingInstances #-}
 
 {-|
 A Monad Transformer for explicitly typed checked exceptions.
@@ -47,6 +48,7 @@
 import Control.Applicative
 import Control.Monad.Exception.Catch
 import Control.Monad.Loc
+import Control.Monad.Trans.Class
 import Control.Failure
 import Control.Monad.Fix
 import Data.Typeable
@@ -117,6 +119,9 @@
             Right _ -> return v
             Left (loc, CheckedException (SomeException e))
                     -> return $ Left (loc, CheckedException $ toException $ mkE e)
+
+instance MonadTrans (EMT l) where
+  lift = EMT . liftM Right
 
 instance (Exception e, Monad m) => MonadCatch e (EMT (Caught e l) m) (EMT l m) where
   catchWithSrcLoc = Control.Monad.Exception.Base.catchWithSrcLoc
diff --git a/control-monad-exception.cabal b/control-monad-exception.cabal
--- a/control-monad-exception.cabal
+++ b/control-monad-exception.cabal
@@ -1,5 +1,5 @@
 name: control-monad-exception
-version: 0.9.0
+version: 0.9.1
 Cabal-Version:  >= 1.6
 build-type: Simple
 license: PublicDomain
@@ -61,6 +61,10 @@
   >       g, Main(example.hs): (2,6)
   >       main, Main(example.hs): (5,9)
   >       main, Main(example.hs): (4,16)
+  .
+  /Changes since 0.9.0/:
+  .
+    * Moved to transformers (finally leaving the whole mtl-transformers cisma behind)
 
 synopsis: Explicitly typed, checked exceptions with stack traces
 category: Control, Monads, Failure
@@ -76,6 +80,7 @@
   buildable: True 
   build-depends: failure >= 0.1 && < 0.2
                , safe-failure >= 0.5
+               , transformers
                , monadloc
 
   if flag(extensibleExceptions)