Typo fix

此处甚至原文也是错的 ！！！

For instance, the length function has a type declaration of length :: [a] -> Int instead of having a more general type of (Num b) => length :: [a] -> b.