「評価環境」が文脈だと思えばいいよ
つうか、モナドを文脈として理解しようとするのが最も向いてるのがIOやST

「文脈」じゃなくて「計算効果」つっとけばよかったのにね