Left and right projections of Either types