Собственно т.н. обобщенное программирование — в чем его глубокий смысл если тот самый
<some_type> который используется в шаблонах по сути есть базовый класс в ООП.

например непонятно зачем ломать голову как сделать сортировку один раз для всех типов поддерживающих это понятие когда можно выделить некий интерфейс ICompare у которого будут методы сравнения и все типы которые можно сравнивать и соотв-но сортировать должны поддерживать этот интерфейс. А в методе сортировки использовать непосредственно ссылку на интерфейс. Помоему такая реализация нагляднее и понятнее чем шаблонизация. Мож поэтому в первой версии .net шаблонов и небыло ? Там вроде как все типы — объекты.