An immutable vector for php