vector-0.12.0.2: Efficient Arrays