Re: [GHC] #11065: Outdated documentation for foldl and friends