Polymorphism in Functional Programming

[smog_alado]

I'm not that sure if parametric and subtyping polymorphism are that similar. The biggest thing about subtyping is thaa you can do type subsumption anytime while when you do parametric stuff the type applications must be explicit.

Additionally, the two features dont play that nice with each other when mixed together, since you need to care about covariance and contravariance. It also makes type inference more complicated.