なぜ文脈と呼ぶかについて追記
強い主張にしてみた

"できます"だとちょっと弱いけど、"します"も正確ではない。
ということで、レビュー提案された表現に変更。
型Mについて補足の説明を入れた
擬似コードを使わないようにした
bindの定義至るまでの説明が唐突にならないようにした
意味の通る日本語に修正
やわらかめの表現に変更

法則はとっつきにくい印象があるとの指摘。
結合法則の説明を修正