[GHC] #9752: Output unicode characters