They do scale, but explicit types have two bonuses in my eyes: 1. can be read without a compiler, useful when reading PRs 2. They make the compiler work less,

They do scale, but explicit types have two bonuses in my eyes: 1. can be read without a compiler, useful when reading PRs 2. They make the compiler work less, it's easier to check than infer