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

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

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