diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# Version 1.2
+
+* The `MonadMask` constraint added in Version 1.1 is gone, effecively
+  undoing the breaking change introduced in Version 1.1.
+
+
 # Version 1.1
 
 * **BREAKING CHANGE:** The `MonadThrow` instance for `DiT level path msg
diff --git a/di-monad.cabal b/di-monad.cabal
--- a/di-monad.cabal
+++ b/di-monad.cabal
@@ -1,5 +1,5 @@
 name: di-monad
-version: 1.1
+version: 1.2
 author: Renzo Carbonara
 maintainer: renλren.zone
 copyright: Renzo Carbonara 2017-2018
diff --git a/lib/Di/Monad.hs b/lib/Di/Monad.hs
--- a/lib/Di/Monad.hs
+++ b/lib/Di/Monad.hs
@@ -59,7 +59,7 @@
  ) where
 
 import Control.Applicative (Alternative)
-import Control.Concurrent.STM (STM, atomically, throwSTM)
+import Control.Concurrent.STM (STM, atomically)
 import qualified Control.Monad.Catch as Ex
 import Control.Monad.Cont (MonadCont, ContT(ContT))
 import Control.Monad.Except (ExceptT(ExceptT))
@@ -325,27 +325,14 @@
 -- rules established by 'onException', and further restricted by the rules
 -- established by 'filter'.
 --
--- /Note:/ Any new exception that might happen as part of the logging process is
--- silenced, so that the originally thrown exception is the one that has
--- precendence.
---
--- Note that the 'Ex.MonadMask' superclass prevents @m@'s base monad to be
--- 'STM'. There is another instance where @m ~ 'STM'@, but you will need to
--- write your own instance or use 'Di.throw'' directly if @m@ is a wrapper
--- around 'STM' and not 'STM' itself. On the other hand, the 'Ex.MonadMask'
--- constraint should be easy to satisfy by all wrappers around 'IO', even those
--- that don't implement 'MonadIO'.
-instance Ex.MonadMask m => Ex.MonadThrow (DiT level path msg m) where
+-- WARNING: Note that when `m` is `STM`, or ultimately runs on 'STM', then
+-- 'Ex.throwM' *will not log* the exception, just throw it. This might change in
+-- the future if we figure out how to make it work safely.
+instance Ex.MonadThrow m => Ex.MonadThrow (DiT level path msg m) where
   throwM e = ask >>= \di -> Di.throw' natSTM di e
   {-# INLINE throwM #-}
 
--- | This instance doesn't log exceptions before throwing them.
-instance Ex.MonadThrow (DiT level path msg STM) where
-  throwM = lift . throwSTM
-  {-# INLINE throwM #-}
-
-instance (Ex.MonadThrow (DiT level path msg m), Ex.MonadCatch m)
-  => Ex.MonadCatch (DiT level path msg m) where
+instance Ex.MonadCatch m => Ex.MonadCatch (DiT level path msg m) where
   catch (DiT (ReaderT f)) = \g -> DiT (ReaderT (\x ->
     Ex.catch (f x) (\e -> let DiT (ReaderT h) = g e in h x)))
   {-# INLINE catch #-}