OrdSet
data OrdSet a
empty
singleton
union
unionMany
add
addMany
toList
fromList
length
null
isSingleton
elem