Type Alias Add<A, B, Fail>

Add: [NumericStruct.FromNumeric<A, Fail>, NumericStruct.FromNumeric<B, Fail>] extends [
    infer MA,
    infer MB,
]
    ? MA extends NumericStruct
        ? MB extends NumericStruct
            ? NumericStruct.ToNumeric<NumericStruct.Add<MA, MB>>
            : Fail
        : Fail
    : never