Wyjaśnienie dotyczące rodzajów egzystencjalnych w Haskell
Usiłuję zrozumieć typy egzystencjalne w Haskell i natknąłem się na plik PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Popraw moje poniższe rozumienie, które mam do tej pory. Typy egzystencjalne nie wydają się być zainteresowane zawartym w nich typem, ale dopasowanie...