[GHC] #13827: "What AbsBinds means" is a pretty confusing doc comment