pub trait HasTop { const TOP: Self; }
A set that has a “top” element, which is greater than or equal to any other element.