функцию как угодно можно назвать.
но тут уже объяснили, что это и не функция, а некая точка входа
не совсем так.
функцию можно как угодно назвать.
main — это не функция, а IO, можно называть их процедурами или действиями.
процедуры тоже можно как угодно именовать.
но программа же должна с чего-то начинаться? в Хаскеле для удобства и единого стиля решено, что работа программы начинается с процедуры main