Symbolically: f: , ..., t] t: v f A forest f consists of a list of trees, while a tree t consists of a pair of a value v and a forest f (its children).
В символической форме: f: , ..., t] t: v f Лес f состоит из списка деревьев, в то время как дерево t состоит из пары — значения v и леса f (потомков).