let choose : set -> int = Hashset.choose