Re: [GHC] #8920: Alternative GADT syntax