-
Simon Peyton Jones authored
In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables
09b025ea
In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables