Кстати, Клеменс Шиперский предлагал (в книге "Component Software: Beyond Object-Oriented Programming") добавить дженерики (параметрическим полиморфизмом кажется называлось) в КП, но идея почему-то не получила развития.