構造的型付けを安全にするのは簡単だよ
①構造に名前を付ける
②同じ構造でも名前が異なるなら区別する
③各型やクラスはどの構造を持っているのか名前で宣言する
これで安全になるよ
①②③は必須だよ