Merge pull request #48 from natefaubion/monad-rec-semigroup

Remove Semigroup constraint on monadRecErrorT

Author: paf31

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

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