Typing makes it easier to write a &quot;find all references&quot; function. Types distinguish whether a call to foo.bar() is calling the same bar as baz.bar(), which makes it easier to rename Foo&#x27;s bar wherever it is used, but leave Baz&#x27;s bar alone.