List optimization: concatenation with an empty list