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