[Prototype] Better type inference for lambdas (e.g., as used in folds)#9076