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