@szeiger: Can you shed some light on why this is needed? Removing UnionLeft here and in the one places it is used does not break the tests. We might want to remove it or indeed give it a better name.