deftype Ordering.Greater

defimpl Ordering.Result, for: Ordering.Greater