Re: [GHC] #9750: Core lint failure with TypeLits Symbol