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

VD>Он и в nullable-типах умудрился усмотреть монады и "лифтинг" вместо оберток.

А что, разве Nullable<T> совсем не похоже на монаду Maybe?