Semantic Typing We Ignore

In Kotlin, we constantly narrow our types. We prefer String over Any for text, Int over Any or even...