Control.Effects.State

type State s m a

get

put

(=:)

modify

local

ref