Are we happy with requiring at least one `Label`? Why would we not be able to merge on any and all nodes? It's of course discouraged, but why should it be impossible?