That's only because you have completely misunderstood the problem, which is that, once a type system is present, the goal is to understand the type system, not to actually write and run code. Don't feel bad, it's a common rookie error. You should take a PL course sometime.