[kadoban]

If they type system (or at worst norms of the language/community) enforces it in parts of the code, that's _much_ more than a mental model.