名前的型付けにもなれるなら構造的型付けの勝ちじゃね？
だって名前的型付けは構造的型付けになれないわけでしょ