deftype Ordering.Greater

defimpl Ordering.Result for: Ordering.Greater