Re: proposal #3335: make some Applicative functions into methods, and split off Data.Functor

On Mon, Jun 29, 2009 at 8:45 AM, Ross Paterson wrote:

The proposal is that the following functions

   (<$) :: Functor f => a -> f b -> f a    (*>) :: Applicative f => f a -> f b -> f b    (<*) :: Applicative f => f a -> f b -> f a    some :: Alternative f => f a -> f [a]    many :: Alternative f => f a -> f [a]

are moved into the corresponding classes, with the existing implementations as default definitions.  This gives people creating instances the option of defining specialized implementations of these functions, though they should be equivalent to the default definitions.

How about liftA2? -- Dave Menendez http://www.eyrie.org/~zednenem/