Type Alias AllXOR<T>

AllXOR: T extends [infer Only]
    ? Only
    : T extends [infer A, infer B, ...(infer Rest)]
        ? AllXOR<[XOR<A, B>, ...Rest]>
        : never

All Xor

type xor = AllXOR<[ { a: AModule }, { b: BModule } ]>