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