ouch, I was confusing the mtl and transformers package...
In 'transformers' State is a type synonym for StateT Identity and thus does not need an own instance declaration.
On Sat, 14 Mar 2009, Peter Verswyvelen wrote:
I was using the transformers but still had to implement the Applicative instance of State
This package contains an applicative instance for StateT but not for State