Maybeモナドの計算（Maybeモナドで包まれたものが結果となる関数呼び出し）は、「失敗するかもしれない計算」を表現しています。これの良い例として、データベースのルックアップテーブルから条件にマッチするものを引っ張ってくる処理があります。ルックア…

前回まではモナドをコンテナの表現方法として扱って来ました。すなわち、モナドを構造的に見てきたということです。しかし「なぜ」モナドを使うのかは完全には説明していません。なんといっても、モナドの構造はとてつもなくシンプルですので、そもそもなぜ…