haskell - Haskell的bind函数是什么类型的？

Question

这里有一个非常流行的 monad 解释:

http://blog.sigfpe.com/2007/04/trivial-monad.html

我得到了除了部分之外的所有内容:

bind :: (a -> W b) -> (W a -> W b)
bind f (W x) = f x

我有 Haskell 的基本知识(已经很长时间没有使用它了)，但是这个签名似乎不对。

我安装了 GHC 并检查了它的想法 - 结果它认为我做了什么，即:

:t bind
bind :: (t1 -> t) -> W t1 -> t

我错过了什么？

Answer 1

Haskell 的类型推断器始终考虑最通用的签名。因为在 bind 的实现中，您没有执行任何将参数 f 给出为比从任何类型到 any 其他类型(不是特定的 W b)，即具有签名 a -> b (或 t1 -> t，因为推断者有写)，当然就这样了。

换句话说，签名 (a -> b) -> W a -> b 是 (a -> W b) -> (W a -> W b).