Add Foldable Vector instance