構造的型システムは問題点が山積みだかららしい
構造が同じだと同一視するから事故が起きまくり
例えばこんな例もあるようだ

https://scrapbox.io/nishio/%E5%90%8D%E5%89%8D%E7%9A%84%E5%9E%8B%E3%81%A8%E6%A7%8B%E9%80%A0%E7%9A%84%E5%9E%8B%E3%81%AE%E5%8B%98%E9%81%95%E3%81%84%E3%81%AB%E3%82%88%E3%82%8B%E5%AE%9F%E8%A9%B1