M(M(a)) => M(a) является членом M(x) => x Я не думаю, что это точно. Монада знает, как свернуть два функториальных вычисления, то есть что означает композиция для двух вычислений в одном и том же контексте. Давайте посмотрим на экземпляр монады для функций и представим, что функции были монадами в Javascript. Я использую стрелочную функцию с собственным телом, чтобы было понятнее: const chain = f => g => { // returns a monad instance for functions return x =>..