Re: [GHC] #16112: T11334b fails in the devel2 way