OrdC -package:code-conjure

A case statement on Ordering. OrdCond c l e g is l when c ~ LT, e when c ~ EQ, and g when c ~ GT.
If the type has already an Ord instance it is certainly the most easiest to define compare to be equal to Ord's compare.
Ord classes that can be derived for GADTs. This includes:
Date on which the item has been created, in ISO 8601 format.
Add unsigned integers reporting overflow. The first element of the pair is the result. The second element is the carry flag, which is nonzero on overflow. See also plusWord2#.
Subtract unsigned integers reporting overflow. The first element of the pair is the result. The second element is the carry flag, which is nonzero on overflow.