Large Discriminated Union

TransitiveDepthLimit.ts

interface A {
    kind: 'A';
    child: Node;
}

interface B {
    kind: 'B';
    child: Node;
}

interface C {
    kind: 'C';
    child: Node;
}

interface D {
    kind: 'D';
    child: Node;
}

interface E {
    kind: 'E';
    child: Node;
}

interface F {
    kind: 'F';
    child: Node;
}

interface Terminal {
    kind: 'Terminal';
}

type Node = A | B | C | D | E | F | Terminal;

declare const root: Node;