<div>Sorry for being inarticulate in haste, a couple of typo corrections:<br>
<br></div><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;" class="gmail_quote">The version that Ross puts forward is the version that can make sense inside of Base. It fits with the module it is moving into, it doesn't require Base adopting whole-hog the Control.Monad.Error.Class machinery, and it drops [an instance] for a [prelude type] into the [module] where it belongs.<br>
</blockquote><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="gmail_quote"><div>In that vein it makes sense that the basic error type used by transformer-centric [code] should ALSO be a type alias wrapped around ErrorT, rather than an abuse of a prelude type.<br>
</div></div></blockquote><div> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="gmail_quote"><div></div>-Edward Kmett<br></div>
</blockquote></div><br>