6.8.2 参数化抽象类型