diff --git a/Control/Monad/Exception.hs b/Control/Monad/Exception.hs
--- a/Control/Monad/Exception.hs
+++ b/Control/Monad/Exception.hs
@@ -87,6 +87,7 @@
 import Control.Monad.Exception.Catch
 import Control.Failure
 import Control.Monad.Loc
+import Control.Monad.Loc.TH
 import Data.Typeable
 
 {- $hierarchies
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
@@ -56,7 +56,6 @@
 import Control.Monad.Fix
 import Data.Typeable
 import Data.Functor.Identity
-import Prelude hiding (catch)
 
 type CallTrace = [String]
 
diff --git a/Control/Monad/Exception/Catch.hs b/Control/Monad/Exception/Catch.hs
--- a/Control/Monad/Exception/Catch.hs
+++ b/Control/Monad/Exception/Catch.hs
@@ -30,12 +30,10 @@
 
 import Control.Monad.Exception.Throws
 
-import Prelude hiding (catch)
-
 class (Monad m, Monad m') => MonadCatch e m m' | e m -> m', e m' -> m where
    catch   :: m a -> (e -> m' a) -> m' a
    catchWithSrcLoc :: m a -> ([String] -> e -> m' a) -> m' a
-   catchWithSrcLoc m h = catch m (h [])
+   catchWithSrcLoc m h = Control.Monad.Exception.Catch.catch m (h [])
 
 instance Exception e => MonadCatch e IO IO where
    catch   = Control.Exception.catch
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.10.3
+version: 0.10.3.1
 Cabal-Version:  >= 1.10
 build-type: Simple
 license: PublicDomain
@@ -72,10 +72,14 @@
      * 0.10.1 - compatibility with failure 0.2 (thanks to Bas van Dijk)
   .  
      * 0.10.2 - use the identity type from mtl (thanks to Bas), require minimum cabal-install version (thanks to Bernhard Urban)
+  .
+     * 0.10.3 - Moved the MonadIO instance to the main package
+  .
+     * 0.10.3.1 - Compatibility with base 4.6
 
 synopsis: Explicitly typed, checked exceptions with stack traces
 category: Control, Monads, Failure
-stability: experimental
+stability: provisional
 tested-with: GHC == 6.12.1
 bug-reports: http://github.com/pepeiborra/control-monad-exception/issues
 
@@ -88,7 +92,7 @@
   buildable: True 
   build-depends: failure >= 0.1 && < 0.3
                , transformers >= 0.2
-               , monadloc
+               , monadloc >= 0.7
 
   if flag(extensibleExceptions)
     build-depends: