It would be lovely to have something like `gen/vector-distinct`, only for our trusty PHP arrays.
It would be lovely to have something like
gen/vector-distinct, only for our trusty PHP arrays.