I propose adding an IsLabel instance to Proxy where
fromLabel = Proxy
This is the only reasonable instance I can think of, and AFAIK there's no plan which would conflict [0].
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.