-
Simon Peyton Jones authored
We weren't promoting enough type variables, with unpredictable consequences. The new code is, if anything, simpler.
16d10ae0
We weren't promoting enough type variables, with unpredictable consequences. The new code is, if anything, simpler.