>>191
＞型の別名～～名前的型付けと構造的型付けとで違いはないでしょう。

ちょっと脱線してるけど、
(名前的型付け)名前で宣言しないと等価(置換可能)にならない
(構造的型付け)宣言しなくても構造が一緒なら等価(置換可能)
の違いがあるよ。

異なる名前を使っているのなら、
名前的型付けの場合は(名前の等価性を宣言しないと)別物。
構造的型付けの場合は名前ではなく構造を見るから等価性を宣言する必要が無い。