vector-0.12.3.1: Efficient Arrays