haskell——为什么我们可以使用>>；=如果不是（a->；MA）类型，是否在id上？
相关标签：
我知道可以定义单子的join在绑定方面起作用，如
join x = x >>= id
例如，我们可以在列表monad中使用这个函数进行连接：
[[1],[2]] >>= id==[1,2]
但为什么我们可以约束自己id完全Bind具有以下类型：
(>>=) :: m a -> (a -> m b) -> m b
但是id肯定是有类型的a -> a不是打字a -> [a].
我哪里做错了？
特别声明：以上内容（图片及文字）均为互联网收集或者用户上传发布，本站仅提供信息存储服务！如有侵权或有涉及法律问题请联系我们。
举报
