On Thu, Dec 16, 2010 at 6:03 PM, John Smith
<voldermort@hotmail.com> wrote:
On 15/12/2010 14:31, Lennart Augustsson wrote:
Yes, I think there should be a MonadFail distinct from MonadPlus.
Some types, like IO, are not in MonadPlus, but have a special implementation of the fail method.
Personally, I think fail should just be removed, but that would break existing code.
The fail method was introduced for the wrong reasons (better error messages was the excuse).