Fix overwriting in tune of Editor (Map.union is left-biased)
Because union is left-biased we need extra on the left side. This is already correct for the tune instance of Task.
Because union is left-biased we need extra on the left side. This is already correct for the tune instance of Task.