Re: [Haskell-cafe] instance Applicative f => Applicative (StateT s f)

Ross Paterson wrote:

Yes, because you need part of the value generated by the first computation, namely the state (inside the f), to construct the second one. You can do that in a Monad, but not in an Applicative.

This makes me wonder: does that mean there is no such thing as an applicative transformer? Martijn.