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