[earleybird]

You might read the Vector type constructor 'Vector N T' as "this is a Vector of T's of length N'.