I get your point so type systems are a protection for bad hires, a perceived as defense mechanism on code. But things should never reach not even close to that point.