Re: [GHC] #8339: Build fails with panic in vector