6.8.3 参数化元类型