Здравствуйте, alex_public, Вы писали:

I>>P.S. Я уже знаю, что это называется "лифтинг".

_>Кстати говоря лифтинг — это как бы совсем функциональный стиль. Т.е. мы преобразуем функцию в функцию (например складывающую числа в складывающую числа в списках). Но есть и промежуточный вариант — использовать что-то типа fmap (а для коллекций будет просто map). Т.е. можно спокойно использовать обычные функции на списках (или на промисах) и при этом обходиться без монад. Просто код будет выглядеть как apply(A, B, merge).

"без монад" значит что эти же обязанности размажешь по коду ровным слоем. Более того, функция собственно мало чем отличается от монады.