ListFunctor
Functor
LowPriorityTypeReduceImplicits
types
left
Or
And
Or