Stmt is:exact

A single statement, as in do-notation.
do block Statement
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.
Stmt is an alias for CStat (Syntax)
A statement in our imperative program, parameterized over the state.
A Java statement.