oh yes and i thought the auto-deriving Ord for structs and enums was truly wonderful and immediately understandable! it's just that if i have a trait bound somewhere else like

<T: Ord>

there's no guarantee that's a constant or otherwise not linear-time comparison and it seems like a useful distinction to make