Re: [GHC] #11217: Empty GADT-style declaration accepted without extensions