 Further, it matches many algorithms on trees, which consist of doing one thing with the value, and another thing with the children.This mutually recursive definition can be converted to a singly recursive definition by inlining the definition of a forest