Functional programming 半序格形的复合函数

我正在学习monad，据我所知，它使用一系列组合函数，封装了一些数据值产生的副作用或意外情况

“半序格”有等价物吗

我的意思是这个

假设我有一些函数，它们基本上是对路由网络中的流进行建模

例如

等等

---

monad可以用来管理可选结果、抛出错误或副作用的可能性吗。j（a，d）取我的两个“一元值”。。。这两种方法中的任何一种都可能是无效的。

好吧，对所有人来说都是肯定的——你基本上可以用haskell-do符号来写这篇文章，只需将

a=f（x）

替换为

一个可能的@PaulSweatte副本，我不明白为什么它是重复的。我不是问如何组合/链接函数。我想问的是，当你有一个晶格而不是一条链时，如何实现/使用像Maybe这样的东西。
a = f(x)
b = g(x)
c = h(b)
d = i(c)
e = j(a,d)