vectorAddToBack a (AddVector b n) =
  AddVector b (vectorAddToBack a n)
vectorAddToBack a (AddVector b n) =
  AddVector b (vectorAddToBack a n)
vectorAddToBack a (AddVector b n) =
  AddVector b (vectorAddToBack a n)