object :empty
object Union
enum UnionKind []