Partial template instanciation + IFTI