新技术：嵌套类型