Am Sonntag, 22. Februar 2009 19:29 schrieb Felipe Lessa: > Did I make any mistakes? No, I did. I didn't read it properly, saw the "MonadState s ..." there and thought it was MonadState s m instead of MonadState s (StateT s m). Sorry, Daniel