[Haskell-beginners] Expected vs. Inferred Type