The point is, you don't want to defeat type checking. Why do you think compiler-writers built that in?