If we take a list of non-empties and we add an empty, the best thing that we could get out of that would be a list of IntSets because that's the smallest type in a manner of speaking that contains both the XS, the list of non-empties, as well as the additional element X which was of type empty. 