3 ms·
You often want parametricity, until you want type-specific behaviour, which is very, very common. Haskell uses this to great effect with type classes.
by naasking 2y ago
You often want parametricity, until you want type-specific behaviour, which is very, very common. Haskell uses this to great effect with type classes.