adding examples of type polymorphism