vector-0.12.0.0: Efficient Arrays