コモナドは空気説を唱えたが、アレはけっこうあっている気がしてきた。コモナドの圏、つうかむしろセリンガーが言っていた対角付きの圏（category with diagonals）なのだが、ここでモノイドと加群（モノイド作用）を考えると、なんか具合がいい。双代数法則…

名前が長めなのは、既存コマンドと名前がかち合わないように。順不同。すべてフィルターコマンド compact-text find-word word replace-chars chars1 chars2 replace-word word1 word2 fold-text width format-col width split-to-words unique-word count-l…