LowPriorityTypeReduceImplicits
types
left
Or