3 Jun
2009
3 Jun
'09
4:22 p.m.
On Sun, May 31, 2009 at 7:21 PM, Ross Paterson
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.)
+1 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