array_prepend(1, ARRAY[2,3])
postgres=# SELECT array_prepend(1, ARRAY[2,3]); array_prepend --------------- [0:2]={1,2,3} (1 row) postgres=#