Invariants are among the most powerful ways to manage complexity, although of course not the only ones. A type may be seen as a convenient packaging and naming

Invariants are among the most powerful ways to manage complexity, although of course not the only ones. A type may be seen as a convenient packaging and naming of a collection of invariants.