<div class="gmail_quote">On Sun, May 31, 2009 at 7:21 PM, 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="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Perhaps we should make some and many methods of Alternative, &lt;* and *&gt;<br>methods of Applicative and &lt;$ a method of Functor, all with the current<br>
definitions as defaults.  (John Meacham was also asking for the first<br>of these.)</blockquote>
<div> </div>
<div>+1</div>
<div> </div>
<div>As a justification, (*&gt;) and (&gt;&gt;) serve much the same purpose, and (&gt;&gt;) is already exposed via Monad to permit the same kinds of optimizations that an explicit override of (*&gt;) proffers. </div>
<div> </div>
<div>-Edward Kmett</div></div>