A thing to keep in mind in these situations is that making the system a bit more type safe may be more personally satisfying for the engineers. They may see that as a more worthy goal than fixing `n` additional bugs.
Same thing with premature, or otherwise unnecessary, optimization. Sometimes it's just fun!