ラムダ計算で作れるデータ構造は大体 (->) で出来ている
(->) で作れる型はあれもこれもモナドだったから大半の型はモナドになる

モナドクラスは表向きは個々のインスタンスに依存しないふりをしているが
本当は (->) の力が無ければ何も出来ない