The proposal #170: Unrestricted OverloadedLabels (was: Uppercase OverloadedLabels) (https://github.com/ghc-proposals/ghc-proposals/pull/170) was updated to allow any nonempty alphanumeric string following a # under OverloadedLabels. So I repeat my recommendation to accept it.