[GHC] #12338: dfgsdfgd