[Haskell-cafe] On to applicative

[Alexander Solla]

On Aug 26, 2010, at 1:29 AM, Alexander Solla wrote:

> The other function is pure :: (a -> b) -> f (a -> b).  It takes a  
> function and lifts it into the functor, without applying it to  
> anything.  In other words, given an f :: a -> b,

My mistake, though if you got the rest of it, it should come as no  
surprise that pure :: a -> f a and is essentially equivalent to a  
monad's return.