Разъяснение экзистенциальных типов в Haskell
Я пытаюсь понять экзистенциальные типы в Haskell и наткнулся на PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Пожалуйста, исправьте мои следующие понимания, которые у меня есть до сих пор. Экзистенциальные типы, кажется, не интересуются типом, который они содержат, но...