3 ms·

BTW, Haskell only has (bounded) parametric polymorphism. Don't confuse the two: Bounded = Ad-hoc = Haskell type-classes. Parametric = Universal = unconstrain

by ky3 13y ago

BTW, Haskell only has (bounded) parametric polymorphism. 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