public static IEnumerable <object[]> EqLaws() => new EqLawsTests <Result <int, string> >(ResultK.Eq(Int32K.Eq(), StringK.Eq())).Wrap();
public bool EqK <TOk, TError>( IKind2 <ResultF, TOk, TError> x, IKind2 <ResultF, TOk, TError> y, IEq <TOk> eqOk, IEq <TError> eqError) => ResultK.Eq(eqOk, eqError).Eqv(x.Fix(), y.Fix());