But we don't have 80% of our (runtime!) code that is just guessing the type of our inputs :D