difference, intersection :: (Ord k) => Set k -> Set k -> Set k

-- difference O(m · log n)
difference tx ty = deleteAll (toList ty) tx

difference, intersection :: (Ord k) => Set k -> Set k -> Set k
difference tx ty = deleteAll (toList ty) tx
difference tx ty = deleteAll (toList ty) tx