Re: [Haskell-cafe] Pointed, but not Applicative

On Sun, Aug 28, 2011 at 7:41 AM, Tony Morris wrote:

Pointed f => Pointed (StateT s f)

but not

Applicative f => Applicative (StateT s f)

But we do have (Functor m, Monad m) => Applicative (StateT s m) so I'm not sure if this is a valid example. Cheers, -- Felipe.