Module ord
merge
Merge strategies for types that form a total order.
Set left to the maximum of left and right.
Set left to the minimum of left and right.