fun sumvecs (u, v, w) = u ++ v ++ w;