finished 嵌套类型