"I'd ask how come the word's essence (its "transformation" from a String to an Integer) changes depending on the type of action we intend to apply on it?" I th

"I'd ask how come the word's essence (its "transformation" from a String to an Integer) changes depending on the type of action we intend to apply on it?" I think the problem is viewing "type" as "essence". Type is all about how we intend to use it, and which invariants we wish to enforce.