This applies to all `Comparable` types that have a...
# random
k
This applies to all
Comparable
types that have any kind of successor method