記法： コ/モナド ： モナドまたはコモナド A∨ : 上付きのチェックマーク（のつもり）は、文字修飾子。使い途はボールドなどと同じ。Aに対する演算子ではない。コモナドを表す文字・語への文字修飾に使う。 ベックの分配系は4種類あって、 モナド・モナド分…