Yes. A blessing in disguise. In hindsight, global type inference seems too unstable. Too much action at a distance; it&#x27;s hard to evolve a codebase when local changes cascade. Type annotations keep things grounded.