15. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы.

Типы с кванторами и что они означают. Универсальные и экзистенциальные типы.