diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,9 @@
+0.6.0
+=====
+
+* [#62](https://github.com/serokell/universum/issues/62):
+  Export exceptions-related functions from 'safe-exceptions'.
+
 0.5.1
 =====
 
diff --git a/src/Exceptions.hs b/src/Exceptions.hs
--- a/src/Exceptions.hs
+++ b/src/Exceptions.hs
@@ -2,18 +2,21 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE Safe                  #-}
 
--- | Some functions to work with exceptions over 'MonadError'.
+-- | Re-exports most useful functionality from 'safe-exceptions'. Also
+-- provides some functions to work with exceptions over 'MonadError'.
 
 module Exceptions
-       ( Exception
-       , SomeException (..)
+       ( module Control.Exception.Safe
+
        , note
        ) where
 
-import           Control.Applicative  (Applicative (pure))
-import           Control.Exception    (Exception, SomeException (..))
-import           Control.Monad.Except (MonadError, throwError)
-import           Data.Maybe           (Maybe, maybe)
+import           Control.Applicative    (Applicative (pure))
+import           Control.Exception.Safe (Exception, MonadCatch, MonadMask (..),
+                                         MonadThrow, SomeException (..), bracket,
+                                         bracket_, catch, catchAny, finally, throwM)
+import           Control.Monad.Except   (MonadError, throwError)
+import           Data.Maybe             (Maybe, maybe)
 
 -- To suppress redundant applicative constraint warning on GHC 8.0
 -- | Throws error for 'Maybe' if 'Data.Maybe.Nothing' is given.
diff --git a/src/Monad/Trans.hs b/src/Monad/Trans.hs
--- a/src/Monad/Trans.hs
+++ b/src/Monad/Trans.hs
@@ -4,8 +4,7 @@
 
 module Monad.Trans
        ( -- * Reexports from @Control.Monad.*@
-         module Control.Monad.Catch
-       , module Control.Monad.Except
+         module Control.Monad.Except
        , module Control.Monad.Reader
        , module Control.Monad.State.Strict
        , module Control.Monad.Trans
@@ -25,9 +24,6 @@
        ) where
 
 -- Monad transformers
-import           Control.Monad.Catch        (MonadCatch (catch), MonadMask (..),
-                                             MonadThrow (throwM), bracket, bracket_,
-                                             catchAll, finally)
 import           Control.Monad.Except       (ExceptT (..), runExceptT)
 import           Control.Monad.Reader       (MonadReader, Reader, ReaderT (..), ask, asks,
                                              local, reader, runReader)
diff --git a/universum.cabal b/universum.cabal
--- a/universum.cabal
+++ b/universum.cabal
@@ -1,5 +1,5 @@
 name:                universum
-version:             0.5.1.1
+version:             0.6.0.0
 synopsis:            Custom prelude used in Serokell
 description:         Custom prelude used in Serokell
 homepage:            https://github.com/serokell/universum
@@ -73,6 +73,7 @@
     microlens-mtl         >= 0.1.7  && <0.2,
     mtl                   >= 2.1    && <2.3,
     safe                  >= 0.3    && <0.4,
+    safe-exceptions,
     stm                   >= 2.4    && <2.5,
     text                  >= 1.2    && <1.3,
     text-format,