Interface TheseDefinition

interface TheseDefinition {
    A: unknown;
    B: unknown;
    C: unknown;
    D: unknown;
    numberOfGenerics: 2;
    taggedEnum:
        | { _tag: "Left"; left: unknown }
        | { _tag: "Right"; right: unknown }
        | { _tag: "Both"; left: unknown; right: unknown };
}