Perguntas com a marcação «higher-rank-types»

Qual é a finalidade do Rank2Types?

Não sou muito proficiente em Haskell, então essa pode ser uma pergunta muito fácil. Que limitação de idioma o Rank2Types resolve? As funções em Haskell já não suportam argumentos

Como faço para retornar um tipo associado de uma característica vinculada de característica de classificação mais alta?

Eu tenho uma característica que tem uma função para desserializar um tipo associado. No entanto, esse tipo associado precisa ter uma vida útil que o chamador decide, portanto, eu tenho uma característica separada para a qual eu uso uma característica de classificação mais alta, para que possa ser...