RE: GADT records revisited