Re: [GHC] #11199: Outdated documentation for type operators