Document that type holes kill polymorphic recursion