Minor refactoring: reusing union-type from type-sets