相关疑难解决方法(0)

虽然monads在Haskell中使用bind和return函数表示,但它们也可以使用join函数进行另一种表示,如此处所述.我知道这个函数的类型是M(M(X)) - > M(X),但这实际上是做什么的？