IO<br><br><div class="gmail_quote">On Thu, Dec 16, 2010 at 6:03 PM, John Smith <span dir="ltr">&lt;<a href="mailto:voldermort@hotmail.com">voldermort@hotmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 15/12/2010 14:31, Lennart Augustsson wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Yes, I think there should be a MonadFail distinct from MonadPlus.<br>
Some types, like IO, are not in MonadPlus, but have a special implementation of the fail method.<br>
<br>
Personally, I think fail should just be removed, but that would break existing code.<br>
The fail method was introduced for the wrong reasons (better error messages was the excuse).<br>
</blockquote>
<br></div>
Which other monads (other than MonadPlus subclasses) define fail?<div><div></div><div class="h5"><br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>