. . "One idea has been that as a special sort of abstraction, types have" . .