[thesz]

"Either" isn't ordered list of elements. It's result of a choice, a tagged sum of sets.

So Either is not a tuple by any mean.

[Deestan]

To elaborate:

> "Either" isn't ordered list of elements.

Although the Either<T,U> type looks like a pair definition, an Either<T,U> return value contains only one element of type T or U.