Comment by kelseyfrog

The author makes reference to making these invariants expressable via the type system, a compile time overhead, not a runtime overhead.