>>898
圏論の教科書がMacLaneぐらいしかなかった時代と違って今は色々
わかりやすい読み物があるので、圏論的なモナドの話は別に難しくなく、
むしろ普通のOOPには現れない「振る舞いによる法則」レベルの抽象化
であることがよく理解できるので、IO「モナド」というのが有害というのは
納得いかんなあ。

「振る舞いによる法則」を理解しても個々のモナドの振る舞いは個別に
学ばねばならないことは同意。