template<typename T>
void baseF(T t) { ... }

template<typename T>
void F(T t) { baseF<T>(t); }

template<>
void F<int>(int t) { baseF<int>(t); }