问Monad `fail`与MonadPlus `mzero`的正确用法

EN

这是一个在设计代码中多次出现的问题，尤其是在库中。它里面似乎有some interest，所以我想它可能会成为一个很好的社区维基。

Monad中的fail方法被一些人认为是一个瘤；这是对类的一个有点武断的添加，而不是来自原始的范畴理论。当然，在当前的情况下，许多Monad类型都有逻辑和有用的fail实例。

MonadPlus类是monad的一个子类，它提供了一个mzero方法，该方法在逻辑上将失败的概念封装在Monad中。

因此，想要编写一些执行某种故障处理的一元代码的库设计人员可以选择让他的代码在Monad中使用fail方法，或者将他的代码限制在MonadPlus类中，这样他就可以很好地使用mzero，即使他根本不关心一元组合mplus操作。

在这个关于proposals to reform the MonadPlus class.的维基页面上有一些关于这个主题的讨论

所以我想我有一个特别的问题：

哪些monad实例(如果有)具有自然的fail方法，但不能是MonadPlus的实例，因为它们没有mplus__的逻辑实现？

但我最感兴趣的是关于这个话题的讨论。谢谢!

编辑：我想到了最后一个想法。我最近了解到(尽管它就在fail的文档中)，一元的"do“表示法是以这样一种方式去糖化的，即模式匹配失败，就像在(x:xs) <- return []中调用单数的fail。

看起来，语言设计者在Monad中包含fail时，一定受到了内置到haskell语法中的一些自动故障处理的强烈影响。