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

Martijn van Steenbergen martijn at van.steenbergen.nl
Fri Dec 5 12:52:31 EST 2008

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?


More information about the Haskell-Cafe mailing list