[Haskell-beginners] Type variables