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

[Martijn van Steenbergen]

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.