That's interesting, I always assumed parametric polymorphism was a requirement of ad hoc polymorphism. I suppose I'm using a more narrow definition. On the oppo

That's interesting, I always assumed parametric polymorphism was a requirement of ad hoc polymorphism. I suppose I'm using a more narrow definition. On the opposite end, Elm for instance, has parametric polymorphism: type Parametric a = Parametric a f : (a -> b) -> Parametric a -> Parametric b f fn (Parametric a) = Parametric <| fn a but no support for ad-hoc, like you said, in Haskell: data Parametric a = Parametric a f :: Ord a => Parametric a -> Parametric a -> Parametric a f (Parametric a) (Parametric b) = Parametric (min a b)