a vector -> a list