[acchow]

> if you use typing outside these two scopes you'd probably find many troubles.

- encoding invariants and define valid evolutions of the codebase

- memory safety without a garbage collector (see Rust’s Affine type system)