stringのoperator+は（個人的には）許せるんですよ．あれはmonoidだから．以前comp.lang.c++.moderatedで可換じゃないのにoperator+使うのはイヤンって文句言ってた人が居たけれど，これはもう嗜好の問題かにゃぁ．"+"という記号から数体における加群の演算子を安易に連想してしまって可換則を仮定してしまうか，ただの（結合則も可換則も仮定されていない）演算のinfixの記号だと思えるか，っていう．
＃あ，でもあれが"+"で表現するのに最もcanonicalな操作かって小1時間問い詰められたらどうしよう・・・
