a start on ~[T] -> Vec<T>