+1<br><br><div class="gmail_quote">On Tue, May 25, 2010 at 8:41 AM, Ross Paterson <span dir="ltr">&lt;<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
The proposal is to add this instance to Control.Applicative:<br>
<br>
    instance Applicative (Either e) where<br>
        pure          = Right<br>
        Left  e &lt;*&gt; _ = Left e<br>
        Right f &lt;*&gt; r = fmap f r<br>
<br>
This is not the only possible instance for Either, but this one is<br>
compatible with the usual Monad instance.<br>
<br>
Deadline: 15th June 2010<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</blockquote></div><br>