Why this assumption? IFTI doesn't have to be used for all template parameters.