Как объединить два типа: через union и через intersection?