[GHC] #10883: Error messages referring to arrow operators use wrong symbols when outputting Unicode