Data.Set.difference documentation