On Wednesday 22 December 2010 12:03:01, Ryan Ingram wrote: > Huh, that's weird, I just copy and pasted this into a new file and it > worked for me. As a guess, you have mtl-1.*? In mtl-2.*, State s is made a type synonym for StateT s Identity, so there's no longer a data constructor State.