Hi all, 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. Please speak up within a week if you have any concerns. Silence is understood as agreement. Regards, Vitaly