[Haskell-beginners] Inferring functions from parameter types