Да. Компилятор генерирует код для каждого набора параметров типа (monomorphization). Больше использований разных типов - больше кода. Обычно прирост небольшой; дублирование ограничено реально используемыми комбинациями. Оптимизация: избегать лишних параметров типа и не специализировать по множеству типов без нужды.