A handy constructor which just reverses the sense of an existing
A type which provides an ad-hoc
Ord instance for the type it wraps.
It is the user's responsibility to make sure that it obeys all
relevant laws, also taking into account the fact that when 2 items
are compared, only one of their
cmp functions is invoked (the left one)