[Haskell-beginners] Show for Parameterized Type