On Sun, May 31, 2009 at 7:21 PM, Ross Paterson <ross@soi.city.ac.uk> wrote:

Perhaps we should make some and many methods of Alternative, <* and *>
methods of Applicative and <$ a method of Functor, all with the current
definitions as defaults. (John Meacham was also asking for the first
of these.)

As a justification, (*>) and (>>) serve much the same purpose, and (>>) is already exposed via Monad to permit the same kinds of optimizations that an explicit override of (*>) proffers.

-Edward Kmett