<div dir="ltr">Oops, disregard that. Other responses didn't show up for some reason.</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 1, 2015 at 2:34 PM, William Yager <span dir="ltr"><<a href="mailto:will.yager@gmail.com" target="_blank">will.yager@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Shouldn't that be "throwError", not "fail"?<div><br></div><div>--Will<span class=""><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 1, 2015 at 12:44 PM, Jeffrey Brown <span dir="ltr"><<a href="mailto:jeffbrown.the@gmail.com" target="_blank">jeffbrown.the@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>I spoke too soon; I'm seeing the same problem with MonadError.<br></div><div><br></div><div><font face="monospace, monospace">    Prelude> :set -XFlexibleContexts</font></div><div><font face="monospace, monospace">    Prelude> import Control.Monad.Except</font></div><div><font face="monospace, monospace">    Prelude Control.Monad.Except> let f = (fail "be Left!" :: (MonadError String m) => m ())</font></div><div><font face="monospace, monospace">    Loading package transformers-0.4.2.0 ... linking ... done.</font></div><div><font face="monospace, monospace">    Loading package mtl-2.2.1 ... linking ... done.</font></div><div><font face="monospace, monospace">    Prelude Control.Monad.Except> f :: Either String ()</font></div><div><font face="monospace, monospace">    *** Exception: be Left!</font></div><div><font face="monospace, monospace">    Prelude Control.Monad.Except></font> </div></div><div><br></div><div><br></div></div></blockquote></div></div></span></div></div>
</blockquote></div><br></div>