You know, I haven't worked on a super big project, but I feel like every time I've gotten a type error in a static language it's pointed to something wrong with my underlying reasoning.