There's really no need to use Vect rather than List...