Better template arguments/parameters matching, and simplistic IFTI