vectorAddToBack :: a -> Vector n a -> Vector (Succ n) a
vectorAddToBack a (SingleVector b) = b *: a
vectorAddToBack :: a -> Vector n a -> Vector (Succ n) a
vectorAddToBack a (SingleVector b) = b *: a
vectorAddToBack a (SingleVector b) = b *: a