 Objects can be composed recursively, and are then called recursive types.Examples includes various kinds of trees, DAGs, and graphs.Each node in a tree may be a branch or leaf; in other words, each node is a tree at the same time when it belongs to another tree.