我们如何与 2 个具有 2 种不同错误类型的 MonadError 约束进行交互？

Question

说我有一个功能

function1 :: (MonadError String m, MonadIO m) => m Int

function2 :: (MonadError Int m, MonadIO m) => m Int

和一个函数来转换Int为String

renderException :: Int -> String

有没有办法实现function3，即重用所有3个功能？

function3 :: (MonadError String m, MonadIO m) => m Int
-- add the results from function1, function2 and 
-- transform function2 error into a String

Answer 1

事实证明我可以使用runExceptT：

-- runExceptT :: ExceptT e m a -> m (Either e a)
function3 :: (MonadError String m, MonadIO m) => m Int
function3 =
  do ei <- runExceptT function1
     a  <- either (throwError . show) pure ei
     b  <- function2
     return (a + b)

那么，有一个方法可以摆脱MonadError e“陷阱”。另一方面，我不知道如何封装这个runExcept / either throwError模式。