Re: [GHC] #13000: minor doc bug about list fusion in GHC user's guide