> Now the proposal -- `Let's have a tuple: Either<error_code, return_value> '
The Either data type is not a tuple.
The Either data type is not a tuple.
So Either is not a tuple by any mean.
> "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.