Type Alias Subtract<A, B, Fail>

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