OneOrTwo data structure for holding either one or two elements of the same type.
OneOrTwo
OneOrTwo
Decision data type for mapping to boolean (decision problem)
reorder list1 effect