Re: [GHC] #10265: HEAD fails with -DDEBUG