Types and Types Systems concepts
Yes, exactly. Because you can instantiate the polymorphic type with an infinite amount of (mono)types.

For example, the type $a \to a$ (which is a polymrphic type) represents 


Bool $\to$ Bool
Char $\to$ Char
(Char $\to$ Int) $\to$ (Char $\to$ Int)
etc...