Re: [GHC] #7273: Binary size increase in nofib/grep between 7.6.1 and HEAD