Почему эти случаи C ++ создают различные шаблоны

Я пытаюсь написать какую-то функциональность, в которой мне нужно сохранять различные функции, а затем извлекать типы их аргументов. Поэтому я использую подпись функции в качестве параметра шаблона. Но я получаю несколько неожиданные результаты.
Вот код:

#include <functional>
#include <iostream>

template <class T>
struct foo
{
foo()
{
std::cout << "class T" << std::endl;
}
};

template <class Ret, class Arg>
struct foo<Ret(Arg)>
{
foo()
{
std::cout << "Ret(Arg)" << std::endl;
}
};

template <class T>
void save(std::function<T>)
{
new foo<T>();
}

int main(int argc, char* argv[])
{
std::function<void(void)> someFoo;
save(someFoo);
return 0;
}

Так что если переменная someFoo это функция с типом void(void)создает первый шаблон, foo<T>, Но если я изменю это на void(int), чем получаю нужный специализированный шаблон. Это почему?