ну в хаскеле может и есть такое вредное различие, но оно выражается только в убогости языка. типа модуль в лет не импортируешь, тип не объявишь
Еще раз: глобальное имя, которое ссылается на глобальное определение, и глобальное имя, которое ссылается на локальную переменную, к тому же связанную неявно -- это две сильно разные вещи