>>125
その通りなんだけど
構造的型付けの間違いは「一部分でも同じ構造を持つなら同じ抽象的な型として扱う」ことにしたこと