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