Output Set, Map, Tuple types