"All objects have definite types and there is no confusion about which objects are being handled." . . . .