Потому-что эквивалентность функций невозможно установить в общем случае, как и невозможно в некоторых случаях описать побочные эффекты исполнения
Так фишка обычно в том, чтоб выкинуть общий случай и ограничить всё частными
Это без относительно ненужности