diff --git a/Control/Monad/Exception.hs b/Control/Monad/Exception.hs
--- a/Control/Monad/Exception.hs
+++ b/Control/Monad/Exception.hs
@@ -81,7 +81,6 @@
 
 import Control.Monad.Exception.Base
 import Control.Monad.Exception.Catch
-import Control.Monad.Exception.Instances()
 import Control.Failure
 import Control.Monad.Loc
 import Data.Typeable
diff --git a/Control/Monad/Exception/Instances.hs b/Control/Monad/Exception/Instances.hs
deleted file mode 100644
--- a/Control/Monad/Exception/Instances.hs
+++ /dev/null
@@ -1,22 +0,0 @@
-module Control.Monad.Exception.Instances where
-
-import Control.Monad.Exception.Throws
-import Data.Typeable
-import Safe.Failure
-
--- Encoding the exception hierarchy of safe-failure
-
-instance Throws TailFailure (Caught SafeException l)
-instance Throws HeadFailure (Caught SafeException l)
-instance Throws InitFailure (Caught SafeException l)
-instance Throws LastFailure (Caught SafeException l)
-instance Throws MinimumFailure (Caught SafeException l)
-instance Throws MaximumFailure (Caught SafeException l)
-instance Throws Foldr1Failure (Caught SafeException l)
-instance Throws Foldl1Failure (Caught SafeException l)
-instance Throws FromJustFailure (Caught SafeException l)
-instance Throws IndexFailure (Caught SafeException l)
-instance Throws ReadFailure (Caught SafeException l)
-instance (Typeable a, Show a) => Throws (LookupFailure a) (Caught SafeException l)
-
-
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.1
+version: 0.10.0
 Cabal-Version:  >= 1.6
 build-type: Simple
 license: PublicDomain
@@ -62,9 +62,10 @@
   >       main, Main(example.hs): (5,9)
   >       main, Main(example.hs): (4,16)
   .
-  /Changes since 0.9.0/:
+  /Changes/:
   .
-    * Moved to transformers (finally leaving the whole mtl-transformers cisma behind)
+    * 0.9.0 - Moved to transformers (finally leaving the whole mtl-transformers cisma behind)
+    * 0.10.0 - removed the dependency on safe-failure
 
 synopsis: Explicitly typed, checked exceptions with stack traces
 category: Control, Monads, Failure
@@ -79,7 +80,6 @@
 Library
   buildable: True 
   build-depends: failure >= 0.1 && < 0.2
-               , safe-failure >= 0.5
                , transformers
                , monadloc
 
@@ -105,7 +105,6 @@
      Control.Monad.Exception.Base
      Control.Monad.Exception.Catch
      Control.Monad.Exception.Throws
-     Control.Monad.Exception.Instances
 
   ghc-options: -Wall -fno-warn-name-shadowing -fno-warn-orphans