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

_>Ну так а в каком языке подобное возможно? )
Подобное возможно в С#, в виде Lifted Operators для Nullable.

_>И если предположим возможно, то благодаря каким-то особым свойствам языка или благодаря особым свойствам монад? )
Благодаря особым свойствам монад. Монада определяется не только сигнатурой операций, но их семантикой (см. тж. монадные законы). Поэтому гипотетический компилятор будет иметь право сделать такие замены автоматически.