Bad things happen if top-level namespace is the same as type name...