6.11.2 可辨识联合类型