[ notes ] Testing a type synonymous for Set.