モナドは、部分関数、非決定性関数、例外（エラー）、コレクション・データ型など、純粋関数計算の不純な(?)拡張を記述するために使えます。なかでも分かりやすいのは、副作用への応用でしょう。ここで言う副作用とは、大域変数への代入、ファイルIO、データ…