The GHC documentation for OverloadedLabels
here shows examples like
Leading capital letters:
#Foo
equivalant togetLabel @”Foo”
Should getLabel
be fromLabel
?
AFAIK getLabel
is for creating unnamed labels from data constructors in template haskell.
fromLabel
is what overloaded labels desugar to.