"Thus, id is a device for turning off the compiler???s type checking altogether." . . . . .