No, that isn't sensible either, but I don't see how it can be right for all packages, or does singleType punt successfully if sym is NoSymbol? I guess I will look.