Re: [GHC] #11752: ghc-8.0 branch fails to build with ghc-7.8