Klarstellung zu existentiellen Typen in Haskell
Ich versuche, existentielle Typen in Haskell zu verstehen und bin auf ein PDF gestoßen: http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Bitte korrigieren Sie mein unten stehendes Verständnis, das ich bis jetzt habe. Existenzielle Typen scheinen nicht an dem Typ...