気持ちがよく分かりませんでした。いう捉え方があると教えてもらいました。分かってきたのでまとめてみます。手続き型かのように処理を書くことができます。以下のような関数を作ることができます。zこれは以下のような式に脱糖されます。結合性の仕様から実際は不要です。依存しているところです。前の結果に依存して計算が変わっているわけです。依存していなかったらどうでしょうか。以下のような処理を考えるわけです。同じように以下のように脱糖されます。これは以下の式と等価です。インスタンスで十分です。済ませられるわけです。各演算子のシグネチャを見ることでも分かります。その結果を得ることができるわけです。このような文脈付きの値を普通の値として渡せるという状況は起きていません。前の文脈に応じて実行内容を変えることはできないのです。reserved.TOP。