[mithametacs]

Not everything is a functional program though and side effects are important. Types can’t* represent this.

*Not for practical programs