names binding of record fields of GADTs