Closed phadej closed 2 years ago
Then we don't rely that heavily on simplifier to remove the GADT overhead. Even when unoptimized, there isn't additional box over RnfArgs1.
I did similar change to hashable in 2019.
Then we don't rely that heavily on simplifier to remove the GADT overhead. Even when unoptimized, there isn't additional box over RnfArgs1.
I did similar change to hashable in 2019.