OrdSet

data OrdSet a

empty

singleton

union

unionMany

add

addMany

toList

fromList

length

null

isSingleton

elem