2012-08-02 ツリーレコードモナド モナド メモ あ、そうだ。Nを名前の集合として、TreeRecN(V) というモナドがあるんだった。Nは固定するとして、TreeRecN(-) が集合圏の上の自己関手で、モナドの台。単位も乗法も言われてみればあたりまえのもの。CatyScriptで書けるだろう。