Yeah, this was more of a draft than a finished article. I didn't realize anyone was following my blog :P. It's a working title at best—it doesn't really reflect what I wanted to talk about... but then, I'm not sure the second half or so does either.
return :: a -> State a
get :: State Int
set :: Int -> State Int -- should be Int -> State () surely?