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

EP>Насколько я понял, эти Lifted Operators для Nullable тоже не являются аналогом монады Maybe, так как не останавливают вычисления. Это скорее аппликативный функтор Maybe, чем монада — то есть толку от него мало.

Ну и кстати говоря оно даже не формальная монада, т.к. там реально у Nullable нет какой-то спец. функции, которая вызывается в этих местах с передачей ей оператора. А там всё делает сам компилятор по месту, так что это больше всего напоминает просто перегрузку всех операторов для данного типа.