let
union s1 s2 =
S
.union s1 s2