全然わけわからん、そもそも>>147的な分類自体が意味不明・・・
大体、Ada83の昔から、genericは後者を明らかに志向していたし
無論AdaのGenericを手本にしたC++のtemlateも
STLなんかを見れば明らかに後者を志向している