. . "'a' is a type - but in practice the parser can treat these as the same thing and let the semantic analysis, which knows what 'a' is, sort it out." . .