Talk:Parametric polymorphism/to do