State

data State s a

get

gets

put

modify

evalState

execState

runState