Re: [GHC] #7915: Documentation uses deprecated record GADT syntax