モナドって、IO、継続、Stateなどの副作用系から、LISTや冪集合などの
数学系に至るまで、適用範囲がすごく幅広いのだが、これはどうしてだろうか？
これだけ幅広くても、モナドとは何かを言えるものだろうか？