I sighed at the title, but was glad that I read the first paragraph. Very well put!
I guess that I've got to read the rest of the article now too...
I guess that I've got to read the rest of the article now too...
return :: a -> State a
get :: State Int
set :: Int -> State Int -- should be Int -> State () surely?