[Haskell-beginners] Why the length function I wrote has such a type signature?