omochimetaru 6/19/2020 8:44 AM

PかつQである型を定義することができるので

8:44 AM

その場合どっちを呼び出したいか曖昧になる問題はありそうですね