Re: [GHC] #13145: Documentation shouldn't call things functions that aren't functions