Confusion about the Either type definition as Either<R, L> = Left<L, R> | Right<L, R> - Effect Community