GHC文档中OverloadedLabels示例的getLabel是否应为fromLabel？

你的判断是对的——GHC文档里这里确实存在笔误，首字母大写的标签#Foo实际应该等价于fromLabel @"Foo"，而非getLabel @"Foo"。

具体原因如下：

• OverloadedLabels的标准脱糖逻辑：启用该扩展后，所有形如#Label的表达式（无论标签首字母大小写）都会被GHC脱糖为fromLabel @"Label"，这一行为对应Data.OverloadedLabels模块中IsLabel类型类的fromLabel方法，是该扩展的核心实现逻辑。
• getLabel的实际用途：它是Template Haskell（TH）中的工具函数，作用是从数据构造器生成未命名标签，仅用于TH代码的拼接场景，和OverloadedLabels扩展的表达式脱糖没有任何关联。

你可以通过实际编译验证：启用OverloadedLabels后编写#Foo，GHC会要求存在IsLabel "Foo"的实例，完全不会涉及getLabel相关的代码逻辑，这也进一步证明文档此处的描述错误。

内容的提问来源于stack exchange，提问作者pat