Same as destruct but only for branches, so you are guaranteed a non-empty forest.
Underlying tree type.
The branch being deconstructed.
A pair of the tree node value and a non-empty list of child trees.
Same as destruct but only for branches, so you are guaranteed a non-empty forest.