diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.6.2
+---
+* Allow exceptions 0.4
+
 0.6.1
 ---
 * Update dependencies
diff --git a/src/Data/Functor/Trans/Tagged.hs b/src/Data/Functor/Trans/Tagged.hs
--- a/src/Data/Functor/Trans/Tagged.hs
+++ b/src/Data/Functor/Trans/Tagged.hs
@@ -37,7 +37,7 @@
 #endif
 import Control.Applicative (Alternative(..), Applicative(..), (<$), (<$>))
 import Control.Monad (liftM, MonadPlus(..))
-import Control.Monad.Catch (MonadCatch(..))
+import Control.Monad.Catch (MonadCatch(..), MonadThrow(..))
 import Control.Monad.Fix (MonadFix(..))
 import Control.Monad.Trans (MonadIO(..), MonadTrans(..))
 import Control.Monad.Reader (MonadReader(..))
@@ -220,9 +220,11 @@
   cohoist f = TagT . f . untagT
   {-# INLINE cohoist #-}
 
-instance MonadCatch m => MonadCatch (TaggedT s m) where
+instance MonadThrow m => MonadThrow (TaggedT s m) where
   throwM e = lift $ throwM e
   {-# INLINE throwM #-}
+
+instance MonadCatch m => MonadCatch (TaggedT s m) where
   catch m f = tag (catch (untag m) (untag . f))
   {-# INLINE catch #-}
   mask a = tag $ mask $ \u -> untag (a $ q u)
diff --git a/tagged-transformer.cabal b/tagged-transformer.cabal
--- a/tagged-transformer.cabal
+++ b/tagged-transformer.cabal
@@ -1,5 +1,5 @@
 name:           tagged-transformer
-version:        0.6.1
+version:        0.6.2
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett
@@ -31,7 +31,7 @@
     comonad                   >= 4        && < 5,
     contravariant             >= 0.3      && < 1,
     distributive              >= 0.3      && < 1,
-    exceptions                >= 0.2      && < 1,
+    exceptions                >= 0.4      && < 1,
     mtl                       >= 2.0.1    && < 2.2,
     reflection                >= 1.1.6    && < 2,
     semigroupoids             >= 4        && < 5,