Re: [GHC] #8575: remove obsolete "stolen syntax"