An application of generic trees.