Перегрузка функции по типу возврата?

Почему более распространенные статически типизированные языки не поддерживают перегрузку функций / методов по типу возврата? Я не знаю, что делать. Это кажется не менее полезным или разумным, чем поддержка перегрузки по типу параметра. Почему он так менее популярен?