<1, 2, 3> ++ <¢a, ¢b, ¢c>