实体建模时如何优雅地解决一个实体的某几个字段在某个状态下同时存在/同时不存在，或者只有在某种状态下才有某种行为的问题

[TWorldIsNButThis]

目前倾向于用 adt ，但是对于不支持交类型的一些名义类型语言，有两个正交的状态就得手动定义四种类型，更烦的是得起四个名字，状态多起来要实现完全完备的建模有点不现实也不实用