Re: [GHC] #8026: DatatypeContexts should be fixed, not deprecated