wouldn’t that give you an Either<Z, Either<X...
# arrow
p
wouldn’t that give you an Either<Z, Either<X, Y>>?