Какова функция связывания Haskell?

Question

Очень популярная монада объяснение здесь:

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 как нечто более конкретное, чем функция от любого типа до , любой другой тип (не конкретно W b), то есть имеющий подпись a -> b (или t1 -> t, as написанный inferer), конечно, так оно и остается.

Другими словами, подпись (a -> b) -> W a -> b является более общей версией (a -> W b) -> (W a -> W b).