extension to Set allowing casting all members of the collection [#19]