UnionType -> TypeUnion