>>142が突っ込んでるのは

> Maybe a -> (a -> Maybe b)　ここまでが入力だよね？

の部分。

> 2項目の引数が関数になっているって解釈でいいんだよね？

こっちは合ってる。