<div dir="ltr">Definitely +1 from me</div><div class="gmail_extra"><br><br><div class="gmail_quote">On 2 August 2013 22:43, John Wiegley <span dir="ltr">&lt;<a href="mailto:johnw@fpcomplete.com" target="_blank">johnw@fpcomplete.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">&gt;&gt;&gt;&gt;&gt; Daniel Gorín &lt;<a href="mailto:dgorin@dc.uba.ar">dgorin@dc.uba.ar</a>&gt; writes:<br>

<br>
&gt; Control.Applicative.WrappedMonad allows one to use the Functor and<br>
&gt; Applicative interfaces of something that is only known to be a Monad but,<br>
&gt; oddly enough, it hides its Monad interface.  The proposal is to add the<br>
&gt; missing Monad instance.  A typical use case for this instance would be:<br>
<br>
</div><div class="im">&gt; A related proposal for the transformers package would be to add a MonadTrans<br>
&gt; instance for WrappedMonad as well.<br>
<br>
</div>+1<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
John Wiegley<br>
FP Complete                         Haskell tools, training and consulting<br>
<a href="http://fpcomplete.com" target="_blank">http://fpcomplete.com</a>               johnw on #haskell/<a href="http://irc.freenode.net" target="_blank">irc.freenode.net</a><br>
</font></span><div class="HOEnZb"><div class="h5"><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>
</div></div></blockquote></div><br></div>