[Haskell-beginners] Type Class Instance Question