とどのつまり、Generic Programmingのメリットとは、
型の気持ちよさが維持できる、ということですかい？

全部Objectで書いて気にならない剛の者、あるいは
静的型がない言語では別段うれしくはない？