vector-0.10.12.3: Efficient Arrays