Re: [GHC] #10407: git head no longer builds with ghc < 7.10