/// <summary> /// `Greater than` injection /// </summary> public static Ord Gt(Unit u) => Ord.CreateGt();
/// <summary> /// `Greater than` ctor /// </summary> public static Ord Gt() => Ord.CreateGt();