First-class Set type