>仕様記述言語論は圏論がかなり幅をきかせてる
ここがよくわからん。仕様記述が要求していることと圏論が提供できる
ことがマッチしているんかな？言語独立の点だけは双方マッチしている
と思うが、それ以外は、圏論側からの一方的な押し付けで、仕様記述
側の要求はなにもわかっていないということはないかい？副作用は
モナドでくらいじゃ話にならないんだが。