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