Hi Ramana, > But does this mean that variables and type variables might have names > including a (non-empty) namespace? Yes, this is legal according to the standard as it is right now, but I don't like it. What would you think about adding a requirement that variable and type variable names must be in the global namespace? Cheers, Joe