不透明类型-->不透明类型解决的问题

[yangyangnote]

如果拼接一个翻转三角形和一个普通三角形，它就会得到类似于 JoinedShape<FlippedShape<Triangle>, Triangle> 这样的类型。

是不是逻辑上应该改为 ,它就会得到类似于 JoinedShape<Triangle,FlippedShape<Triangle>> 这样的类型。