Module state
voile::check::monad
Control.Monad.State, as type-checking state.
Control.Monad.State
Typing context.