Just as a performance thing, this happens to happen in my code in a few places, seems like it could be special cased instead of creating a new one (currently List.of().concat(x) !== x)