No need to merge typeSet into default one if it's already inherited from default (i.e., when slicing).