Why this c++ template code got “expected ‘;’ before ‘<’ token” error?

Question

The code is meant to solve this problem: If we know a signature and bind params for the first n params, get the new call signature if first n params are bounded.

But