构造数据类型