. . ">> that ??? for the programmer, a type is a type is a type???" . . .