let union a b = Array.append a b