В документации GHC для OverloadedLabelsздесь показаны такие примеры, как
Ведущие заглавные буквы:
#FooэквивалентноgetLabel @”Foo”.
Должен ли getLabel быть fromLabel?
AFAIK getLabel предназначен для создания безымянных меток из конструкторов данных в шаблоне Haskell.
fromLabel — это то, ради чего перегружены этикетки десахара.





Мне кажется ошибка в документации. Этот текст был введен в c247b6bef со ссылкой на предложение 0170, в котором говорится только о fromLabel, а не getLabel.