vector-0.12.0.1: Efficient Arrays