利用交叉类型合并多个类型