¿Cómo expresar tipos existenciales utilizando un polimorfismo de tipo de rango más alto (rango-N)?
Estamos acostumbrados a tener tipos cuantificados universalmente para funciones polimórficas. Los tipos cuantificados existencialmente se utilizan con mucha menos frecuencia. ¿Cómo podemos expresar tipos cuantificados existencialmente utilizando cuantificadores de tipo universal?