敷居高く見せるために難しくモナド則とか名前付けてるけど結局はinterfaceとかダッグタイプでしかないってこと？