Type checking is a symptom, not a solution

>> Instead of worrying about how changes in one module might ripple through dozens of dependencies, you can focus on the explicit contracts between components.

So, typing.