> Чем [] (auto x, auto y) { return x + y; }
> сильно так сложнее (x, y) => x + y ?

Какое отношение имеют скобки, означающие массив, к лямбда-функциям?

> Причём, в C++17 ЕМНИП есть пропозал, что auto в параметрах вообще можно
> будет не писать, будет полагаться по дефолту.

Вывод типов предложили в 1969-м году. В С++ он не вставлен, по-видимому, из-за обратной совместимости с нестрого типизированным C.

> В тривиальных случаях всё очень просто, а нетривиальные так не обязательны :)

Тем не менее, выход за пределы тривиального случая преобразуется в ужас-ужас-ужас.