deftype Ordering.Less

defimpl Ordering.Result for: Ordering.Less