[GHC] #12340: gfdgdf