You often want parametricity, until you want type-specific behaviour, which is very, very common. Haskell uses this to great effect with type classes.