Re: [GHC] #14776: Add equality rule for `eqString`