haskell - `bind` 相当于加入(fmap f m)？

Question

这个优秀answer在这个question演示如何根据 join 和 fmap 编写 bind:

(>>=)::m v -> (v -> m w) -> m w

says "if you have a strategy to produce a v, and for each v a follow-on strategy to produce a w, then you have a strategy to produce a w". How can we capture that in terms of join?

mv >>= v2mw = join (fmap v2mw mv)

但是，我不明白 v2mw 是如何检查 fmap 类型的 a -> m b 类型的>.

fmap::Functor f => (a -> b) -> f a -> f b

Answer 1

让我们说 v2mw::c -> m d，这样事情就不会模棱两可了，并且

fmap :: Functor f => (a -> b) -> f a -> f b

然后 fmap v2mw 计算出 f ~ m, a ~ c 和 b ~ m d,所以

fmap v2mw :: m c -> m (m d)

和 join::m (m e) -> m e，因此 join (fmap v2mw mv) 具有预期的 m d 类型。