构造类型引入