我正在学习monads，据我所知，它使用了一系列组合函数，封装了由某些数据值产生的副作用或偶发事件。
是否存在＆＃34;半有序格子的等效物？＆＃34;？
我的意思是这个。
假设我有一些基本上在路由网络中建模流的功能。
EG。
a = f(x)
b = g(x)
c = h(b)
d = i(c)
e = j(a,d)
等
可以使用类似monad的东西来管理可选结果，抛出错误或副作用的可能性。 j（a，d）取两个我的＆＃34; monadic值＆＃34; ......例如其中任何一个都没有。