Require(a.value, a.errorMessage);
public static K <T> operator +(in K <T> a, in K <T> b) => new K <T>(arith.Add(a.value, b.value));