# either
left = \ a l r . l a
right = \ b l r . r b
either = \ ac bc e . e ac bc