diff --git a/Safe/Failure/Instances.hs b/Safe/Failure/Instances.hs
new file mode 100644
--- /dev/null
+++ b/Safe/Failure/Instances.hs
@@ -0,0 +1,25 @@
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+
+module Safe.Failure.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/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/safe-failure-cme.cabal b/safe-failure-cme.cabal
new file mode 100644
--- /dev/null
+++ b/safe-failure-cme.cabal
@@ -0,0 +1,25 @@
+Name:           safe-failure-cme
+Build-Type:     Simple
+Cabal-Version:  >= 1.2
+Version:        0.1.0
+Copyright:      2011-12, Jose Iborra
+License:        PublicDomain
+Maintainer:     pepeiborra@gmail.com
+Author:         Jose Iborra
+Category:       Failure
+Synopsis:       control-monad-exception Instances for safe-failure
+Description:
+    Instances for the encoding of explicitly typed exceptions provided by the control-monad-exception package.
+
+Library
+   buildable: True
+   build-depends:  base >= 4 && < 5,
+                   safe-failure >= 0.5.0 && < 0.6,
+                   control-monad-exception >= 0.10
+		   
+   exposed-modules:  
+      Safe.Failure.Instances
+
+   ghc-options: -Wall -fno-warn-orphans
+
+   extensions: FlexibleInstances, MultiParamTypeClasses