Type Alias BinaryFullAdder<X, Y, B>

BinaryFullAdder: LengthOfString<X> extends LengthOfString<Y>
    ? FirstNChars<
        ShiftString<
            StringReverse<
                BinaryFullAdderParser<
                    StringReverse<FirstNChars<X, B>>,
                    StringReverse<FirstNChars<Y, B>>,
                >,
            >,
        >,
        B,
    >
    : never