Как выразить экзистенциальные типы, используя полиморфизм типов высшего ранга (ранга N)?

Мы'Мы привыкли иметь универсально квантифицированные типы для полиморфных функций. Экзистенциально количественные типы используются значительно реже. Как мы можем выразить экзистенциально квантифицированные типы, используя универсальные квантификаторы типов?

Ответы на вопрос(2)

Ваш ответ на вопрос