「コンセプト」と「コンセプトのモデル」をごちゃ混ぜに語っている
人が多くて，どうにも議論が追いにくい・・・．

>403
コンセプトをインターフェースクラスとして表現した上で，
Refinementの関係をインターフェースクラス間の継承関係で表現できないですかね？
（昔この手の提案があったはず）
あとコンセプトのRefinementの関係を，コンセプトに1対1対応させたタグの
継承関係で表現する手法はありますよね．（iterator_categoryとか）