>>111
意味が違うというかMonoid則と>>=に対する分配律を含んだ代数構造に属するmplusと
Monoid則のみの代数構造に属するmappendじゃ全く別物じゃんとしか思わないんだけど
何か引っかかる所ある？