vector-0.10.12.1: Efficient Arrays