Filling in state monads.