Closed snowleopard closed 6 months ago
It seems worth trying ImpredicativeTypes that's available since GHC 9.2.
ImpredicativeTypes
It seems worth trying
ImpredicativeTypes
that's available since GHC 9.2.