Don't confuse the two:

Bounded = Ad-hoc = Haskell type-classes.

Parametric = Universal = unconstrained type variables.

E.g. of parametric polymorphism: fst :: (a,b) -> a

E.g. of bounded polymorphism: show :: Show a -> String