/// <summary> /// `Equals to` injection /// </summary> public static Ord Eq(Unit u) => Ord.CreateEq();
/// <summary> /// `Equals to` ctor /// </summary> public static Ord Eq() => Ord.CreateEq();