complete polymorphic comments. No recursion