type-checked-namespace example