"types, such as Set, where it is not really possible to jus" . . . .