[GHC] #12341: fhfgji