Я не дуже досвідчений в Haskell, тому це може бути дуже легким питанням. Які обмеження мови вирішують Rank2Types ? Невже функції Haskell вже не підтримують поліморфні аргументи?
У мене є ознака, яка має функцію десеріалізації асоційованого типу. Однак цей асоційований тип повинен мати тривалість життя, яку вирішує абонент, тому у мене є окрема ознака, для якої я використовую присвоєну рису вищого рангу, щоб її можна було дезаріалізувати протягом будь-якого життя. Мені потрібно використовувати закриття, яке повертає цей …