で，ですね．（ソート済み）rangeというヤツはですね，unionやintersectionといった演算においてmonoid（安定かどうかを無視すればcommutative monoid），さらにunionとintersectionの間には相互にdistributivityがある（でも双方ともinverseないのでringになれない（´・ω・`)ショボーン．っていうかこういう代数構造ってなんか特別な名称あったっけ？）のでこれをoperator+とoperator*で書（以下略
さらに単項関数を作用域にとってrange * unary_functionでtransformとか，単項述語を（右）作用域にとってrange / unary_predicateでfilter（以下略
(´-｀).。oＯ（いや，冗談じゃなくてそのうち本気でBoostあたりで提案されないかにゃ〜と思ってたり・・・）
＃別にinfixにこだわらなくても閉じてるっていうただそれだけでprefixでも十分（゜д゜）ウマーなんだけれど．特にcompositiveなことをしたい場合なんか．これはiteratorでは無理だったことだから．あと，lazyってところが個人的にすごい（゜д゜）ウマー．
＃分配束でした・・・．っていうかinverseがないっていうのも大ウソやんorz．
＃大ウソか？
