Re: [GHC] #9395: Debug.Trace should not use %s for format string