But most importantly, static type systems lose the ability to infer what's coming so these may turn out to be really pesky problems.