let empty : set -> bool = Hashset.empty