Talk:Polymorphic recursion/to do