>>14
It is vitally important at this point to realize that the type-distinguishing meta-information is not used to /check/ the types of arguments, but is used to /dispatch/ on them, selecting the operation according to the type of the value.
How does one contradict the other? How does dispatch on types contradict forbidding programs with inconsistent types to be compiled?