There is a gaping hole in the standard library: algebraic vector and matrix types. This talk will cover the proposal that aims to plug that hole, describing Linear Algebra and its uses, the proposed API, and what may come next, with a minimum of moaning about the identifier "vector".