http://www.open-std.org/jtc1/sc22/wg21/docs/projects#14882 (via http://www.nminoru.jp/~nminoru/diary/2008/11.html#2008-11-12)がいつの間にか出ていたようです。Conceptとかaxiomとか、ますます「お前は関数型言語か！」等と思わずツッコミを入れたく…