[GHC] #12342: hfdhdfh