Understanding the Order of Type Parameters in Either<R, L> - Effect Community