Stmt is:exact
A single statement, as in do-notation.
A statement, representing both a stmt in a
do-expression, an ordinary qual in a list
comprehension, as well as a stmt in a pattern guard.
A statement in our imperative program, parameterized over the state.