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.