I have always liked this approach and, recently, I came across a term for it: "type tightness"[0]. I gotta say, it really stuck with me.

[0]: https://www.ecorax.net/tightness/