Haskellの "（Num b）=> length :: [a] - > b"を理解するには？

Question

私はLearn You a Haskell for Great Good!を読み取り、次の単語に遭遇しています： - >のIntの代わりに、より一般的なタイプを有する（NUM例えば

、長関数は:: [a]の長さの型宣言を有していますb）=>長さ:: [a] - > b。

"(Num b) => length :: [a] -> b"の理解方法は？それは "length :: (Num b) => [a] -> b"ではありませんか？

Answer 1

あなたはそうです：それは本の中の誤りであり、あなたが示唆するように読むべきです。