prelude: add vector concat (++)