<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jun 10, 2015 at 12:42 AM, David Luposchainsky <span dir="ltr"><<a href="mailto:dluposchainsky@googlemail.com" target="_blank">dluposchainsky@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think there are two important consequences of MonadFail. First of all, we can<br>
all safely write failable patterns if we so desire. Second, the compiler can<br>
ensure other people's codebases do not lie to us (knowingly or unknowingly).<br></blockquote><div><br></div><div>The second is a bit overstated I think. Any function you call can still have partial pattern matches in all the other places Haskell allows them and you wouldn't know from the type.</div><div><br></div></div></div></div>