[Haskell-beginners] confusion about parameterized types.