vector-0.12.1.2: Efficient Arrays