図式をはてダできれいに書く。 AA記法があるなら図式記法もあっていいのに…*1。 *1:何人使うんだ？

檜山さんからコメントをもらいました。 「変な結合」 モナド一個分のズレという表現 にはツッコミが入らなかったので、そんなに間違ってはなかったんだろうと好意的に解釈しています。コメントに関連して、昨日省略したところを補ってみます。 モナド一個分…