使用bind实现连接

Question

我试图了解如何使用bind（＆gt;＆gt; =）实现连接。

join x  = x >>= id

id的类型为（a - ＆gt; a），但bind需要类型的函数（a - ＆gt; m b）。我无法匹配这种类型。

Answer 1

如果x的类型为m (m t)，则a为m t，因此此上下文中的id类型为m b -> m b， >>=的类型。