. . . "If the data is an instance of a recognized type T, then the data is cast into a recognized type T (step 9712)." .