Same type, because the outer type is already an Ei...
# arrow
s
Same type, because the outer type is already an Either