[Haskell-cafe] Pointed, but not Applicative

Sönke Hahn shahn at cs.tu-berlin.de
Tue Aug 30 15:38:51 CEST 2011


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.




More information about the Haskell-Cafe mailing list