Came here to say basically the same thing. Reducing runtime errors is not the only benefit of types, or sometimes investing in complex types. Ease of reading,

Came here to say basically the same thing. Reducing runtime errors is not the only benefit of types, or sometimes investing in complex types. Ease of reading, code navigation, refactoring, producing documentation, code generation, etc... there are myriad benefits. As you would expect from something that fundamentally helps computers (and humans) understand and verify the intent and structure of code better.