Bagaimana cara mendapatkan elemen array yang berbeda dengan postgres?

Saya lebih suka sintaks ini (sekitar 5% lebih cepat)

create or replace function public.array_unique(arr anyarray)
returns anyarray as $body$
    select array( select distinct unnest($1) )
$body$ language 'sql';

menggunakan:

select array_unique(ARRAY['1','2','3','4','4']);