Pytania oznaczone «higher-rank-types»

Jaki jest cel Rank2Types?

Nie jestem biegły w Haskellu, więc może to być bardzo łatwe pytanie. Jakie ograniczenie językowe rozwiązuje Rank2Types ? Czy funkcje w Haskell nie obsługują już argumentów

Jak zwrócić powiązany typ z cechy związanej z wyższą rangą cechy?

Mam cechę, która ma funkcję deserializacji powiązanego typu. Jednak ten typ skojarzony musi mieć okres istnienia, który decyduje osoba dzwoniąca, więc mam osobną cechę, dla której używam cechy wyższego rzędu, aby można ją było zdezrializować na dowolny okres. Muszę użyć zamknięcia, które zwraca...