Можешь объяснить разные типы полиморфизма в объектно-ориентированном программировании?