Li-Fan Chen says to YSITD
欸 有沒有一種 set 的變體是可以記錄元素數量的