5.14.2 递归的类型别名