vector-sized-0.3.2.0: Size tagged vectors