df77e2448c
Chalk can introduce new type variables when doing lazy normalization, so we have to do the proper 'fudging' after all.