Draft on Types of Recursive Data