[Haskell-cafe] Pointed, but not Applicative

[Felipe Almeida Lessa]

On Sun, Aug 28, 2011 at 7:41 AM, Tony Morris <tonymorris at gmail.com> 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.