Вивчити узагальнені класи та функції. Розглянути межі зміни типів, уявлення та контексту. Розглянути ко- та контраваріантні позиції.