[For a tree t consisting of a pair of a values v and a list of forest data trees,functions or data types are defined in terms of each other identified as computational objects in some problem domains,algorithmically targeted as mutually recursive data structures (recursive descent parsers) that can be naturally given by mutually recursive functions.]