enum Down[a: Type] with Sendable
case Down(a)
The Down type allows you to reverse the sort order of a conveniently.
Down
a