haskell - 什么 Haskell 类型系统魔法允许定义连接？

Question

join效用函数定义为:

join :: (Monad m) => m (m a) -> m a
join x = x >>= id

鉴于 >>= 的类型是 Monad m => m a -> (a -> m b) -> m b和 id是 a -> a ，该函数怎么也可以输入为 a -> m b因为它必须在上面的定义中？什么是 m和 b在这种情况下？

Answer 1

a >>= 的类型中的 s和 id不一定相同a s，所以让我们重述一下这样的类型:

(>>=)    :: Monad m => m a     -> (a -> m b) -> m b
id       ::                        c -> c

所以我们可以得出 c与 a 相同毕竟，至少当 id是 >>= 的第二个参数...还有 c与 m b 相同.所以 a与 m b 相同.换句话说:

(>>= id) :: Monad m => m (m b) ->               m b