RFC: in TC resolution, ← instantiateMVars (← inferType mvar) is computed 2 or 3 times over for every new goal

RFC: in TC resolution, ← instantiateMVars (← inferType mvar) is computed 2 or 3 times over for every new goal #28