GHCi的MonadError默认实现是什么？

Question

考虑以下测试函数：

testError :: (Error e, MonadError e m) => Bool -> m ()
testError True  = return ()
testError False = throwError $ strMsg "hello world"

在 GHCi 提示符下，我可以执行以下操作：

*Main> testError False :: Either String ()
Left "hello world"
*Main> testError True :: Either String ()
Right ()

因为我已经将表达式的类型指定为Either String，所以它使用了MonadError的Either String实现。我假设如果我没有自己指定MonadError的实现，或者从另一个函数调用此函数，允许类型推断，那么我会得到一个错误。但事实上：

*Main> testError True
*Main> testError False
*** Exception: user error (hello world)

看起来 GHCi 提供了某种“默认”的错误单子（error monad）。有人能解释一下这里发生了什么吗？

- Grynszpan

Answer 1

在GHCi中输入的表达式会被类型检查两次：首先通过print包装，如果由于任何原因而失败，则作为IO操作进行第二次尝试。在您的情况下，第一次尝试由于模棱两可而失败，但第二次尝试使用MonadError的IO实例进行类型检查。

- Simon Marlow