Re: [GHC] #8253: example "Core syntax" is ancient