Types of Polymorphism:

There are two fundamentally different kinds of polymorphism.

If the code is written without mentioning any specific type and this cam be used
with any number of new types, it is called parametric polymorphism.

If the range of actual types that can be used is finite and the combinations must be
specified individually prior to use, it is called ad-hoc polymorphism.