Introducing Polymorphism in Haskell