-
Simon Peyton Jones authored
The new story on higher-rank types requires a few functions to be eta-expanded. And the new scoped-type-variable story also forces a few changes.
b65564b4
The new story on higher-rank types requires a few functions to be eta-expanded. And the new scoped-type-variable story also forces a few changes.