下のやつの追記

結局、なんでこれがだめかっていうのを調べたり考えたりした。
2つのテンプレートの定義T1とT2があった時に、もしT1がT2をspecializationしたものならばT1 >= T2っていう順序関係ををテンプレートの定義全体の集合Tについて考える。
テンプレートを使うときは、Tからマッチするテンプレートを全部引っ張ってきたTの部分集合内で、上の順序関係について最大のものを取ってきたいんだけど、上の順序関係は当然半順序なので最大のものが存在しない場合があって、その時エラーになるとかそんなのでは。

こう書くとすごくほんとのことに見えるけど、ほんとか???

追記: T1 <= T2 じゃなくて T1 >= T2　だった