They’re useful for templates because the trailing version is resolved later

Among other things it lets you define the return type in terms of the arguments to the function.

because explicitly declaring types can be redundant, if the compiler knows a lot of the times you should also know

also because some types are extremely cursed: see std views/ranges