Pertanyaan yang diberi tag higher-rank-types

Apa tujuan Rank2Types?

Saya tidak terlalu mahir dalam Haskell, jadi ini mungkin pertanyaan yang sangat mudah. Batasan bahasa apa yang dipecahkan oleh Rank2Types ? Bukankah fungsi di Haskell sudah mendukung argumen

Bagaimana cara mengembalikan tipe terkait dari sifat terikat dengan peringkat lebih tinggi?

Saya memiliki sifat yang memiliki fungsi untuk deserializing tipe terkait. Namun tipe yang terkait perlu memiliki seumur hidup yang diputuskan oleh penelepon, jadi saya memiliki sifat terpisah yang saya gunakan untuk sifat peringkat yang lebih tinggi, sehingga dapat di-deserialisasi untuk seumur...