Well, some do. Let's not pretend all static type systems are the same.