Re: [GHC] #16233: HIE file generation is inefficient