Неявное преобразование типов не удалось скомпилировать, почему так?

Я написал небольшой код:

#include<type_traits>

using namespace std;

template<typename T>
struct M{
/*explicit*/ M(const T*) {}
};

template<typename T>
M<T> f(const M<T>&) {return M<T>();}

int main() {
M<char> s1 = f<char>("Hello"); // OK
M<char> s2 = f("Hello"); // error
M<char> s3 = f(decay<char*>("Hello")); // error
return 0;
}

Ну первое s1 успешно компилируется, хотя если я поменяю M::M в явном виде, это также не удастся. Но s2 а также s3 не скомпилировать, даже когда я использую decay<char*> на s3,

Разница в том, указывал ли я тип аргумента инициализации шаблона для f или нет. Почему s2 а также s3 не скомпилировать, какие-либо принципы, стоящие за этим в стандарте C ++?

Если я изменю основную функцию следующим образом:

int main()
{
M<char> s1=f<char>("Hello");//OK
const char* p="hello";
M<char> s2=f(p);//error
M<char> s3=f(decay<const char*>("Hello"));//error
return 0;
}

Это все еще не удается.

Зачем?
Спасибо за любую помощь.