Cmp is the interface for comparability.

Eq is the interface for equality.

Idx is the interface for types that allow searching for a value within them.

Iter is the interface for types that can be expanded into a set of more values.

Sel is the interface for types that allow their contents to be picked by a tree.