Add NonEmptyUnion