Re: [GHC] #15217: Typo in documentation