Klarifikasi tentang Jenis Eksistensial di Haskell

Saya mencoba memahami tipe Eksistensial di Haskell dan menemukan PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Harap perbaiki pemahaman saya di bawah yang saya miliki sampai sekarang. Jenis Eksistensial tampaknya tidak tertarik pada jenis yang dikandungnya tetapi...