> lowers the ceiling on excellence There is zero real world evidence for that statement. The smartest developers I have ever worked with love types. The not-so

> lowers the ceiling on excellence There is zero real world evidence for that statement. The smartest developers I have ever worked with love types. The not-so-smart ones couldn’t figure out how to use types well and their code was a buggy mess. Not evidence of anything of course but certainly a sample point.