IdeSession.Strict.StateT
data StrictStateT s m a
modify
evalStateT
execStateT
type StrictState s
runState
evalState
execState