[Haskell-cafe] Pointed, but not Applicative

Felipe Almeida Lessa felipe.lessa at gmail.com
Sun Aug 28 16:48:39 CEST 2011


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.



More information about the Haskell-Cafe mailing list