[GHC] #10253: Variable name with special characters