Aclaración sobre los tipos existenciales en Haskell
Estoy tratando de entender los tipos existenciales en Haskell y encontré un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija mis entendimientos a continuación que tengo hasta ahora. Los tipos existenciales no parecen estar interesados en el tipo que contienen,...