[Haskell-beginners] Understandig types