主关联类型 Primary associated type

列在协议尖括号中的关联类型，便于不透明类型和存在类型用简洁语法约束它。