[Blikkentrekker]

I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.