Re: [GHC] #9649: symbols should/might be type level lists of chars