Update state isn't quite the same, though -- take the word counting example. That's not easily solvable as far as I can tell.