Re: [Haskell-cafe] Proposal: Applicative => Monad: Call for consensus

On 25 January 2011 09:20, Ketil Malde wrote:

(+3) <$> readLn

This is how I'd like it. import Control.Applicative(pure,liftA2) main = print =<< pure 3 <+> readLn where (<+>) = liftA2 (+) Just a matter of taste I suppose. And about auto-lifting, I vaguely remember reading something about possible different denotations it could lead to, but I can't find it now. Ozgur