Talk:Polymorphism (computer science)/to do


 * Needs some helpful examples for each of the various forms of polymorphism (1 FP + 1 OO?)
 * Interaction between parametric and inclusion polymorphism (forall a. a vs. Top, covariance and contravariance)
 * Interaction between ad hoc polymorphism and subtyping (e.g., subtyping on first argument, ad hoc on others)
 * Interaction between ad hoc polymorphism and parametric polymorphism (equality types, type classe)
 * intensional polymorphism/typecase/multiple dispatch
 * polytypic programming
 * early/late binding