Re: [GHC] #9837: Introduce a logging API to GHC