<div dir="ltr"><br><br><div class="gmail_quote">On Mon, Dec 21, 2009 at 12:09 PM, wren ng thornton <span dir="ltr">&lt;<a href="mailto:wren@community.haskell.org">wren@community.haskell.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Antoine Latter wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">
Michael Snoyman wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Is there any reason to export only MonadIO? MonadTrans seems like a good<br>
candidate for that split as well.<br>
</blockquote>
<br></div><div class="im">
I guess I&#39;ve never need the &#39;lift&#39; function outside of code which used<br>
other bits of the mtl, so I did not export it.<br>
<br>
I&#39;m struggling to come up with a concept which would unify a package<br>
containing both the MonadIO class and the MonadTrans class. The mtl<br>
made sense, as it contained shed-loads of other classes.<br>
</div></blockquote>
<br>
Maybe it&#39;d be worth just rolling into base, instead of a separate package? Both MonadTrans and MonadIO seem as basic to me as MonadPlus. And I don&#39;t recall there ever being controversy about the design of either class. (Moving them to base may mess up folks using new base + old mtl ...but that seems fixable by forcing old+old or new+new.)<br>

<br>
-- <br>
Live well,<br><font color="#888888">
~wren</font><div><div></div><br></div></blockquote><div>By the way, does anyone have an update on where we stand wrt the mtl/transformers situation?<br><br>Michael <br></div></div></div>