Использование подъема с монадой «Или» или «Может быть»

Когда я прочитал о концепции лифта, она реализована так (на Javascript)

const liftA2 = f => (a, b) => b.ap(a.map(f));

Я понимаю, что есть случай, когда liftA2 вызовет ошибку: когда b — это Right/Just, а a — это Left/Nothing, потому что сопоставление Left/Nothing ничего не сделает со значением, когда нам нужно, чтобы оно стало частично прикладная функция.

Когда a и b оба являются Left, это не взрывается, но, конечно, значение возвращаемого Left будет значением b, что, я полагаю, может быть проблемой в зависимости от того, что вы ожидаете.

Стоит ли поднимать функцию для использования с этими типами? Должен ли я систематически защищаться от таких случаев перед использованием такой функции? Является ли приведенная выше реализация правильной/полной?

Подробнее о проблеме вы найдете ниже

Let us define the function to lift

const add = a => b => a + b;

В случае базового Wrapper, реализующего of, ap и map, мы можем следить за тем, что происходит

class Wrapper {
    constructor(value) {
        this.value = value;
    }
    static of(value) { return new Wrapper(value); }
    map(f) { return Wrapper.of(f(this.value)); }
    ap(a) { return this.map(a.value); }
}

const a = Wrapper.of(1);
const b = Wrapper.of(2);

// liftA2
const tmp = a.map(add); // Wrapper { λ }
b.ap(tmp); // Wrapper { 3 }

Но проблема с Either или Maybe в том, что у них есть случай Left/Nothing, где map и ap предназначены для того, чтобы не делать ничего особенного.

class Left {
    constructor(value) {
        this.value = value;
    }
    static of(value) { return new Left(value); }
    map(f) { return this; }
    ap(a) { return this; }
}

class Right{
    constructor(value) {
        this.value = value;
    }
    static of(value) { return new Right(value); }
    map(f) { return Right.of(f(this.value)); }
    ap(a) { return this.map(a.value); }
}

const a = Left.of(1);
const b = Right.of(2);

// liftA2 
const tmp = a.map(add); // Left { 1 }
b.ap(tmp); // Error because tmp's value is not a function