> В джаве, объектном языке, он присутствует, в generics: в коллекциях, к примеру, когда тип элемента коллекции или специфицируется, или выводится.

Пуская меня товарищи джависты поправят если я неправ, но generics в Java — это нихрена не средство реализации полиморфизма, а убогий костыль предназначенный для реализации статического контроля типов в отсутствие честного статического полиморфизма (как, например, в случа темплейтов в C++). Соответственно, в отличие от тех же темплейтов, дженерики ни на какой новый уровень джаву не выводят.