я вообще не понимаю какая претензия к тому, чтобы оборачивать лямбды в декораторы, чтобы уменьшать вложенность. и как монада это решит тоже не понятно.
декораторы выполняют две роли - предоставляют некий контекст R : A1 & A2 & ... &Ak или модифицируют контрол флоу
Испокон веков монады выполняли именно эти функции, например, для контекста см. Reader, для модификации контрол флоу MonadFail
ииии все