項・式など（と呼ばれる記号的存在物）の生成や操作に関連してモナドが現れることがあります。この種のモナドについて述べておきます。「構文論 vs. 意味論」という文脈で、構文機構の扱いやすい定式化が必要になりますからね。$`\newcommand{\cat}[1]{\math…