trait Tree = Layer<Sub = Self>;
A tree-like structure is a Layer where the subcomponents are recursively trees.
Layer