Мог бы ты описать различные типы полиморфизма, используемые в объектно-ориентированном программировании?