<div dir="ltr"><div>I propose adding an IsLabel instance to Proxy where </div><div><br></div><div>   fromLabel = Proxy</div><div><br></div><div>This is the only reasonable instance I can think of, and AFAIK there's no plan which would conflict [0].</div><div><br></div><div>The proposed instance allows us to explore API designs involving type-level strings with much less syntactic noise ( #foo is easier to type than @"foo"). I admit that the motivation is weak, but I think it's nice to have.</div><div><br></div><div>[0] <a href="https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields/magic-classes">https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields/magic-classes</a><br></div></div>