Fix promotion of Either and Tuple