Tony Morris wrote:

> Pointed f => Pointed (StateT s f)
> 
> but not
> 
> Applicative f => Applicative (StateT s f)

I see. So StateT cannot be what you could call an applicative transformer. 
(Unlike for example ReaderT.)

Thanks.


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to