1·It's not a monad, but what is it?
这不是一个单子，但它是什么？
2·But it's just one monad. As you've mentioned, Failure shows up in LINQ, but more sophisticated monads are useful even in a side-effecting language.
但这只是一个单子。如你所说，失败的LINQ出现，但更复杂的实体，即使在副作用的语言是有用的。
3·As always, the IO monad is special and difficult to reason about.
一如既往，IO单子是特别困难的原因有关。
4·Since Pythagorean put forward the concept of monad, then indivisibles have appeared in mathematics lasted for twenty-five hundred years or more.
自公元前六世纪毕达哥拉斯在数学中提出单子概念开始，数学中就出现了不可分量的概念。
5·But it's just one monad.
但这只是一个单子。