Re: [GHC] #11721: GADT-syntax data constructors don't work well with TypeApplications