foo { a: "a"; b: "a"; c: a; d: "Xabcd"; e: "Xabcd"; f: "Xabcd"; g: "Xabcd"; }