Re: [GHC] #13566: Bigger core size in ghc8 compared to ghc7