weird issue with tyvar renaming gone wrong, see tests/pos/ResolvePred.hs