OOとGenericsもある程度直交概念じゃね?
強い型付けの言語は大変だってことで(それしか選択肢が無いからしょうがないんだが)。