総称は必然なのか？

後で考える／調べる／書く - 檜山正幸のキマイラ飼育記 メモ編にて：

総称は必然なのか？

必然だと思うが、型クラス、C++のコンセプト（という概念）、型制約、種、スラント圏、インデックスされた圏、インスティチューションなどを考慮して考えるべきだ。