7.3.1 子类型与和类型