comb :: Maybe a -> (a -> Maybe b) -> Maybe b

このときの

Maybe a -> (a -> Maybe b)　ここまでが入力だよね？
2項目の引数が関数になっているって解釈でいいんだよね？