mk-vector : (Type<t>, capacity: U64) -> Vector<t>
.push : (Vector<t>, t) -> Vector<t>
.pop : Vector<t> -> t
.into : (Vector<t>, Type<List<t>>) -> List<t>
[] : (Vector<t>, U64) -> t
set[] : (Vector<t>, U64, t) -> Nil
+ : (Vector<t>, Vector<t>) -> Vector<t>
.sort : Vector<t> -> Vector<t>
.unique : Vector<t> -> Vector<t>
.into : (Vector<t>, Type<String>) -> String
.next : &Vector<t> -> Maybe<t>