Preguntas etiquetadas con higher-rank-types

¿Cuál es el propósito de Rank2Types?

No soy muy competente en Haskell, por lo que esta podría ser una pregunta muy fácil. ¿Qué limitación de idioma resuelve Rank2Types ? ¿Las funciones en Haskell ya no admiten argumentos

¿Cómo devuelvo un tipo asociado de un rasgo vinculado de rasgo de rango superior?

Tengo un rasgo que tiene una función para deserializar un tipo asociado. Sin embargo, ese tipo asociado debe tener una vida útil que decida la persona que llama, por lo que tengo un rasgo separado para el que uso un rasgo de mayor rango, para que pueda ser deserializado para cualquier...