The names of the product elements
The name of the type
the List of all balanced binary trees for the given number of nodes.
the Tree from the given List.