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

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

А там всё делает сам компилятор по месту, так что это больше всего напоминает просто перегрузку всех операторов для данного типа.
Ага. Просто монадный компилятор мог бы это делать автоматом для любых монад, а не только для встроенных в язык.