@noelrap I think perhaps I’d wonder what bugs could be trivially caught by a type system and not caught by better testing.

I like strict-ish types but I don’t necessarily think they’re the only way to solve the problem.