diff --git a/src/Control/Monad/Error/Trans.purs b/src/Control/Monad/Error/Trans.purs
index 5647a08e..87ee517e 100644
--- a/src/Control/Monad/Error/Trans.purs
+++ b/src/Control/Monad/Error/Trans.purs
@@ -61,7 +61,7 @@ instance bindErrorT :: (Monad m) => Bind (ErrorT e m) where
 
 instance monadErrorT :: (Monad m) => Monad (ErrorT e m)
 
-instance monadRecErrorT :: (Error e, MonadRec m) => MonadRec (ErrorT e m) where
+instance monadRecErrorT :: (MonadRec m) => MonadRec (ErrorT e m) where
   tailRecM f = ErrorT <<< tailRecM \a -> do
     m <- runErrorT (f a)
     return case m of
diff --git a/src/Control/Monad/Except/Trans.purs b/src/Control/Monad/Except/Trans.purs
index 30f0879a..5e5e2a5f 100644
--- a/src/Control/Monad/Except/Trans.purs
+++ b/src/Control/Monad/Except/Trans.purs
@@ -52,7 +52,7 @@ instance bindExceptT :: (Monad m) => Bind (ExceptT e m) where
 
 instance monadExceptT :: (Monad m) => Monad (ExceptT e m)
 
-instance monadRecErrorT :: (Semigroup e, MonadRec m) => MonadRec (ExceptT e m) where
+instance monadRecExceptT :: (MonadRec m) => MonadRec (ExceptT e m) where
   tailRecM f = ExceptT <<< tailRecM \a -> do
     m <- runExceptT (f a)
     return case m of