type a = union {
b: c,
d: e,
}