5.5.5 协议合成类型