CONCATENATE, and MERGE derive their result types better. Basically, return type (VECTOR T) if VECTOR is given.