I've used them occasionally to clarify the semantics of collections; I like being able to express that some collection of values is unordered and has only unique elements.