Re: [GHC] #15561: TypeInType: Type error conditioned on ordering of GADT and type family definitions