[Haskell-beginners] Type Parameters and Type Variables