Re: [GHC] #9969: panic in T7562