是否有可能区分主模板的实例化和(部分)专门化的实例化?

T U 是的实例化 T

#include <type_traits>

template <typename T> struct foo {};
template <> struct foo<int> {};

template <typename T> struct is_instantiation_of_foo : std::false_type {};
template <typename T> struct is_instantiation_of_foo<foo<T>> : std::true_type {};

int main() {
    static_assert(is_instantiation_of_foo<foo<int>>{});
    static_assert(!is_instantiation_of_foo<int>{});
}

假设,我只知道主模板,我无法引入静态成员以简单的方式将主模板与专用模板区分开来。有可能写出一个特征吗 F<T> std::true_type T 是主模板的实例化,以及 std::false_type 当 T 是专业化的实例化吗?