----------------------------------------------------------------

unionL, unionR, union :: Ord k => Set k -> Set k -> Set k
unionR tx ty = insertAll (toList ty) tx
unionL, unionR, union :: Ord k => Set k -> Set k -> Set k
unionR tx ty = insertAll (toList ty) tx
unionR tx ty = insertAll (toList ty) tx