let union s t = to_canonical (s @ t)