ts交叉类型