What about the derived functions in Control.Monad, such as liftM? Shall we similarly relax their constraints to Applicative and consider them "legacy"? (<span></span>Did this already happen when I wasn't looking?)<br><br>On Thursday, September 24, 2015, John Wiegley <<a href="mailto:johnw@newartisans.com">johnw@newartisans.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">>>>>> Herbert Valerio Riedel <<a href="javascript:;" onclick="_e(event, 'cvml', 'hvr@gnu.org')">hvr@gnu.org</a>> writes:<br>
<br>
> TLDR: To complete the AMP, turn `Monad(return)` method into a<br>
>       top-level binding aliasing `Applicative(pure)`.<br>
<br>
Very much +1.<br>
<br>
John<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="javascript:;" onclick="_e(event, 'cvml', 'Libraries@haskell.org')">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote><br><br>-- <br>-- Dan Burton<br>