forall

Estoy empezando a entender cómo se usa la palabra clave forall en los llamados "tipos existenciales" de esta manera: data S ... ra entender esto hasta el punto de que forall no me deja con una tenue sensación de temor cuando lo veo en una firma de tipo.

Como se muestra a continuación, en Haskell, es posible almacenar en una lista valores con tipos heterogéneos con ciertos lími ... Box] heteroList = [ShowBox (), ShowBox 5, ShowBox True] ¿Cómo puedo lograr lo mismo en Scala, preferiblemente sin subtipo?

Estoy luchando para entender la palabra clave exists en relación con el sistema de tipos Haskell. Por lo que sé, no hay tal p ... vato total en Haskell (tal vez como un estudiante de segundo grado), pero mis fundamentos matemáticos de estas cosas carecen.