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