型の値を包んだものと見なしておくと分かりやすいでしょう。関数適用のようなものです。渡すことができるようになります。普通の値にデフォルトの文脈をもたせるような関数です。使って何もない文脈をもたせるような感じです。具体例を見てみましょう。文脈として成功か失敗かを扱いたい場合を考えましょう。つの関数を以下のように実装しています。方から見ていきましょう。そんな状態を表す値です。途中で失敗して値を返せないかもしれない関数です。なるのが嬉しいでしょうか。適用した結果が得られるのが自然でしょう。全体として失敗したことになるのが自然です。その通りになっているわけです。その値から成功か失敗かの文脈をもたせた値を返してほしい関数です。これは成功したという文脈をもたせるのが自然でしょう。そのものだと定義されています。つに定まらず複数になってしまうような計算を扱いたい場合を考えてみましょう。これを表すのがリストモナドです。呼ぶことがあるそうです。モナドになっています。