iDante comments on Types of recursion