<div dir="ltr">As far as I know, the only issue with depending on both is the conflicting orphan Monad instance for Either. Can anyone either confirm or deny this?<br><br><div class="gmail_quote">On Tue, Jun 29, 2010 at 5:11 AM, Antoine Latter <span dir="ltr">&lt;<a href="mailto:aslatter@gmail.com">aslatter@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><p>It looks like good work, but I would be hesitent about depending on a package which pulled in both mtl and tranformers.</p>

<p>Maybe that&#39;s just superstition - I haven&#39;t tried it.</p>
<p>Antoine</p>
<p></p><blockquote type="cite"><div><div></div><div class="h5">On Jun 28, 2010 5:51 PM, &quot;Michael Snoyman&quot; &lt;<a href="mailto:michael@snoyman.com" target="_blank">michael@snoyman.com</a>&gt; wrote:<br><br><div dir="ltr">
Hi all,<div><br></div><div>I&#39;ll admit, the original idea for this package was something to place in ACME ;). However, it&#39;s goal is to solve a real problem: the lack of good instances on the Either type. As a brief summary, Either has no Applicative or Monad instances in the base library, has 2 reasonable definitions for Applicative, and there are conflicting orphan instances in the mtl and transformers packages. Also, the ErrorT transformer in those two packages introduces a superclass constraint many people would like to avoid.</div>


<div><br></div><div>neither supplies three datatypes: AEither, MEither and MEitherT. AEither provides the Monoid version of the Applicative instance, MEither is the monadic version, and MEitherT is a monad transformer. The package provides instances for both the transformers and mtl libraries for MonadTrans, MonadIO and MonadCatchIO.</div>


<div><br></div><div>The code is up on github[1], let me know what you think.</div><div><br></div><div>Michael</div><div><br></div><div>[1] <a href="http://github.com/snoyberg/neither" target="_blank">http://github.com/snoyberg/neither</a></div>


</div>
<br></div></div>_______________________________________________<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>
<br></blockquote><p></p>
</blockquote></div><br></div>