O(log n). Insert new value into a set where values are
strictly greater than the new values That is, the new value
must be
strictly less than all values present in the
Set. /The precondition is not checked./
While this has the same asymptotics as
Data.Set.insert, it
saves a constant factor for value comparison (so may be helpful if
comparison is expensive) and also does not require an
Ord
instance for the value type.