>>897
その通りで、「モナド式のインタフェースを与える」というのが一種のデザインパターンになってる
ただし、メタな慣習に留まらずに、「Monad」というクラスを通じて言語内でこの仕組みを活用できるから、
いわゆるデザインパターン(対応する概念がコード中に直接現れない)とは少し違う

>>898
モナドはアルゴリズムでもデータ構造でもないけど、なんでそうなる？