値をモナド値にします。モナドは、失敗の可能性があるという文脈付き値を表します。リストモナドは、非決定性計算という文脈付き値を表します。よって、「普通の値を受けとって文脈付き値を返す関数」に「文脈付き値」を渡すことができます。ピエールの綱渡りの例)。記法モナド適用が入れ子になる場合があります。記法で書くことができます。モナドは、もうひとつの値(ログ)が付加された文脈付き値を表します。9この関数を、ログをあわせて返すようにしたかったら、次のようになります。関数を考えたのと同様)。出てきた構文)これにより、もともとあったログに新しいログを追加する、ということが実現できます。型からリストにしたい。関数の型は次のように変えられます(関数の実装は先ほどと同じ)。型にしたいと思ったらどうでしょうか。関数を使う必要がある)。