Re: [GHC] #15706: Refactor NewHsTypeX to DerivedCoreTy